I hope Microsoft leaves GitHub alone

I see no way of that happening. GitHub is a huge resource for Microsoft; in terms of market penetration, people platform, but especially now with GitHub Copilot and their push for AI. They can't let go of GitHub.