Don't want to rely on Microsoft for GitHub? The underlying 'git' is open source. Just deal with your git repos raw.
No one is forcing you to use github.
Yeah they paid 7.5B so they can continue using their favorite web app? This is possibly the most naive take I've read on it that ignores any of the strategic reasons for actually acquiring them.
Was it a common knowledge at the time? I don’t recall seeing info about MS being largest user and unfortunately their newspost on acquisition returns an error…
[1] https://news.microsoft.com/2018/06/04/microsoft-to-acquire-g...
I do not think we actually know that. Was there any release of any financial data?
Also, part of the "beauty" of the modern "tech" giants is that they manage to find alternative sources of revenue, in some cases (notably Google and Facebook) completely replacing the old school user subscription revenue. By and large people seem to be OK selling their data for either a price reduction or complete price removal for services. It is what it is.
Also Microsoft has plenty of infrastructure and did not need Github. How do you think Windows and Office were built for decades?