Codeberg is also a Git-based project host. It doesn't even support other repo types. Why would you be expecting the latter?
If a project announcement or article headline says someone/something is quitting or leaving GitHub, it makes a lot of sense to assume that their issue is with GitHub (and in this case, it would be an assumption they'd be right about).
If they had trouble with Git on GitHub, and then left GitHub for Codeberg, where they also have to use Git, then that would be very strange.
Instead, they had trouble with GitHub, so they left GitHub, which makes perfect sense.
Only if they use it purely as a git SaaS which they don't, it's also an issue tracker and discussion forum. Even PRs aren't strictly a git concept. Given they use all those things and given they're against having AI features built into them, it does not seem ironic to me at all.