[lowdose]

Isn't Github basically the blueprint for running an infrastructure to manage a full remote coding workspace?

I'm actually surprised the mature way Microsoft handles the Github acquisition. It's not anything like that of what they did with Skype. What you are referring to a managerial nuances on a blueprint like this.

And it is not like Microsoft would have any problem to multiply these engineers salary by 10X because they still would not pay software engineering market rate in Seattle or another hub.