> Github is simply worth way more inside of Microsoft than it was outside.

I don't think you can call it inside of MS while you are also highlighting their strength of sales channels. It would be described better that way if MS kept it solely for internal purposes