Leaving GitHub can be hard, but it's not impossible. You just gotta do it one repo at a time. Here's our story and the tools we're using. https://soapbox.pub/blog/leaving-github