Ho trovato, nella guida ufficiale :
git push origin HEAD
Un 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
.