I was pointing out how ironic it was for them to move from git SaaS to git SaaS while having no issues with git on the git SaaS they're moving away from. Make 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.
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.