Q for research friends: have you started planning what to do if the US gov't suddenly restricts access to GitHub? Could happen in several ways, e.g., Microsoft has to filter DEI content to stay eligible for federal contracts or a "nothing Ukrainian" rule, but the mechanism doesn't matter: what does it that it's no longer impossible. Yes, you have a clone of your repo, but not of your issues, and how will you reconnect with contributors? If you have a plan, please share a link - thx.
@gvwilson the core team of @fatiando and my lab have been chatting. Current plan is to try to mirror on Codeberg. First trying to just sync the repo content but issues and PRs are harder to sync. We use templates and referencing issues etc will likely break in the mirror. We're expecting some loss of information and trouble setting things up. Once we have a functional mirror, we could move there but it's not worth mirroring the organization fully until we commit to a migration.