>More than that, github was floundering economically, and Microsoft bought them to ensure continuity, because Microsoft was the single largest user.

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...