I'm looking forward for the comments about this. I discovered/read about "pet names" a while ago, but I could not understand very well what problem they're trying to solve, and if they solve it.
Genuine question: why has CI become so prominent that even small projects cannot live without? You have a small instance with 2 people using it. Why is CI a deal breaker?
I agree with this too. I witnessed the split too and feel exactly the same.
Interestingly, NotABug have not switched to Gitea and is still running Gogs.
ActivityPub does not address or solve the problem of discoverability, which is what the parent comment is talking about. So it's not a solution to that problem.