hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.3K
active users

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.

Blaise Pabón - controlpl4n3

@leouieda @gvwilson @fatiando
Yes, issues, PR and discussions are harder to sync...

( Hey @b3n , Maybe it's worth building a bit of automation and hosting it somewhere?)