Note the lack of concrete numbers on how much they have scaled. Somebody may have just asked an LLM for projections.
Would Microsoft lawyers OK that?
GitHub would have obligations to MS investors to make accurate projections just like Microsoft itself, right?
https://gitcharts.com shows ~310 million public repos today, vs. 250 million in April 2025 (according to the wayback machine).
Large increase, but nothing existential.