Encontré, en la guía oficial :
git push origin HEADUna forma práctica de enviar la rama actual al mismo nombre en el control remoto.
Sin embargo, el significado del comando no me queda claro. ¿Por qué tiene este efecto?
No he podido encontrar una respuesta ( esta pregunta parece tratar el problema, pero el título es engañoso).
HEADes una referencia simbólica y se puede ver congit symbolic-ref HEAD.