Ditching GitHub

While somewhat late to the party, I’ve also decided to divest from GitHub for my code-hosting needs. Much has been written about why one might not feel comfortable on GitHub these days, and there are many good reasons to not use the platform: