fix(gitmirror): make backup races idempotent #632
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/gitmirror-backup-race-r1"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Makes the final exact remote-ref comparison authoritative when scheduled and manually triggered backup runs race. Batch push failures continue, but the workflow still fails closed unless every Forgejo head and tag is present at the expected SHA.\n\nVerified: full platform guard suite; embedded Bash syntax; live race reproduced without critical-ref drift.