> Civic infrastructure, its users, and the environment suffer

Larp detected. Also, is GitHub really so bad? I don't use any of the fancy features, I just push and pull code from it and it's basically never down for that. And if Github ultimately does die I can just point my repos at a new server and hit `git push`.