Even if they weren't making a lot of PRs, Github has been melting down enough this year that they've probably encouraged customers like Anthropic to move off.
Git is just not suited to truly large monorepos, and it won't ever be. That's totally fine, of course. Less of a monoculture here would be great.