Who asked you to make GitHub better though? It's pretty darn good already. I fear that the new CEO will try to make things better when they are already good. I'm really scared that GitHub will end up like Azure DevOps, perhaps get merged or shut down entirely when they feel they have feature parity. Currently there is no great GitHub alternative IMHO and for selfish reasons I wish Microsoft could just leave it. The most I am scared is to wake up one day and see the most ugly "Metro" UX applied to GitHub.