@xiroux Usually local copies and redundant deployments with Gitlab are good enough mitigations. Git itself is, by design, not a single point of failure. You really have to go out of your way to paint yourself into an unrecoverable corner.
@xiroux@xuv@davidk01 You are totally right. That's why I framed this as a "patch", not a "fix". I wonder now if we use the "Github transfer"feature from Gitlab, does it transfer all the issues and PR? Not sure. But it's probably only a one time thing. It's not a mirroring feature.
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!