@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.