> and git is distributed anyway, so even if they immediately changed
> things, we have what we need to move elsewhere.

Kind reminder: GH is not only about .git. (No I'm not suggesting anything.)

Reply via email to