Comment by ocdtrekkie

I don't mind this, as long as the side of Microsoft which has been on GitHub so far as the side of Microsoft who ends up dealing with GitHub in the future.

But this will definitely end the concept of GitHub as a single-source place to find code. Microsoft's competitors will likely move their code, at the least, and of course, the crowd who will never trust Microsoft will leave as well, regardless of how well they manage it.

All-in-all, I don't think that's a bad thing for anyone: Software shouldn't all come from one site, and the industry was becoming far too centralized around GitHub.