Ho trovato, nella guida ufficiale :
git push origin HEADUn modo pratico per inviare il ramo corrente allo stesso nome sul telecomando.
Tuttavia, il significato del comando non mi è chiaro. Perché ha questo effetto?
Non sono riuscito a trovare una risposta ( questa domanda sembra trattare il problema, ma il titolo è fuorviante).
HEADè un riferimento simbolico e può essere visto congit symbolic-ref HEAD.