Yeah but I just wanted to highlight that a better world exists! People should know that GitHub's toy model isn't the only one available.

Still, you're right that it makes sense to build tools to work around GitHub since there's always gonna be cases where you can't avoid using it.

Yeah, effectively all my programming is at my job, where we use GH Enterprise, so I don't really have a choice. I prefer Gerrit but not up to me.