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.