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.