This is actually a good question.
Right now we are using a Bootstrap 2 based theme with some minor but essential changes in the bootstrap.js. In other words migrating to bootstrap 3 will be not that easy.

We were kind of hoping that there will be two main branches one for Boostrap 2 and another one for Bootsrap 3. If this is not the case then we will have to migrate no matter what. But then it would be awesome if you could release the master before actually merge the bootstrap3 branch back.