I'd add a third point: record service usage.
https://github.blog/news-insights/company-news/an-update-on-...
It interestingly shows how a centralized system may just fail or become too flaky at unprecedented growth.
I suppose it's a bit too on the nose to point out that git is decentralized and itself doesn't really suffer from this, nor need it.
And yet GitHub has felt the most dead it ever did. Less quality contributions. Less feeling of community. All the open source projects are struggling.
They dont have a service usage problem they have a slop problem. Ban the slop and the platform will thrive
Yeah if those graphs are even vaguely accurate there's really only one explanation: vibe coders pushing previously unimaginable amount of slop.
I would not be surprised if Github has to stop offering so many services for free.
We don't have a labeled y-axis so their record usage could be a 5% increase for all they're showing us.