We always wanted to expand our support to other platforms on top of Github. The fact that MS bought Github does not change much our plans other than incentivising us in expanding that support even earlier :)