I agree. I'm not, at this stage, tremendously worried about Microsoft finding ways to use its control of Github to get its own way in some kind of conflict. I

I agree. I'm not, at this stage, tremendously worried about Microsoft finding ways to use its control of Github to get its own way in some kind of conflict. I am worried about what happens if, or when, Github's owners decide it's time to stop caring about having a good reputation and instead squeeze it for as much profit as possible (what we seem to be calling "enshittification" these days). Pointing git remotes somewhere different shouldn't be a huge pain, but all those issue trackers are a different matter.