State of GitHub 2025

Alternatively, they're not doing a good job of detecting bots and much of their developer number growth is just bots opening issues and selling stars.