On the other hand, Microsoft has done a lot over the last couple years to improve its standing with developers and the open source community. This is not the same Microsoft of the Gates/Ballmer era. Satya Nadella has been laser-focused on improving Microsoft's standing with open source projects and the developer community.
That said, hosting your companies trade secrets on GitHub was never a good idea.
Who would you rather have acquired GitHub? I'm guessing most of us just wanted it to stay the way it was.
Who knows? Maybe Microsoft will improve GitHub with better workflows. If they make it a better service, people will come back.
After all, Microsoft developed and open sourced the Visual Studio Code editor (lightweight IDE), which is by far my favorite for web development.