Comment by jraph

A better answer to GitHub being bad is probably fleeing GitHub, not working around some of the badness and creating even more dependence on it.