Cool. Here's how to do it: 1. Migrate off of GitHub. That's it, that's the whole...

		throwghaway on May 2, 2023 \| parent \| context \| favorite \| on: Let's make sure GitHub doesn't become the only opt... Cool. Here's how to do it: 1. Migrate off of GitHub. That's it, that's the whole process.