Ciao, GitHub!

I think we all knew GitHub was doomed as soon as Microsoft acquired it. I've been gradually migrating away from Big Tech and U.S.-based digital services, but I hesitated to wean myself off of GitHub out of laziness and inertia. The recent policy change to have your repo's train Copilot unless opted out and then Copilot injecting ads into PR's provided the impetus I needed to finally take the leap.…