Nice follow up that Gergely Orosz put into the Pragmatic Engineer.
"Still, this is the type of “git for AI agents” that GitHub has failed to build, and the type of infrastructure it needs badly."
https://newsletter.pragmaticengineer.com/p/does-github-still-merit-top-git-platform

Does GitHub still merit “top git platform for AI-native development” status?
Availability has dropped to one nine (~90% – !!), partly due to not being able to handle increased traffic from AI coding agents. There’s also no CEO and an apparent lack of direction.
The Pragmatic Engineer