Encontré, en la guía oficial :
git push origin HEAD
Una 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).
HEAD
es una referencia simbólica y se puede ver congit symbolic-ref HEAD
.