[marginalia_nu]

This has already happened though. If worse comes to worst, we'll just move off it like we did when sourceforge went to shit. The neat part of git is that it's inherently decentralized. You can trivially re-point it to a new upstream.

[pm215]

The git repo, sure. It's all the workflow stuff around it that is harder to migrate -- issue reporting, what workflow you use for code review and merging changes, CI, etc. Those too can be moved, but I wouldn't use the word "trivial" -- there's potentially a lot of work there with migrating old issue data across, figuring out what changes to everybody's dev workflow the new platform will require versus what can stay the same, adjusting or rewriting CI configs, and so on.