Overview
Retract a commit you had previously announced withsync_commit. Watchers on other machines see the retraction and revert locally. Use when a just-pushed commit turns out to be broken in a way the gate didn’t catch.
Retract a previously synced commit so watchers revert locally
sync_commit. Watchers on other machines see the retraction and revert locally. Use when a just-pushed commit turns out to be broken in a way the gate didn’t catch.