Encontrei, no guia oficial :
git push origin HEADUma maneira prática de enviar o branch atual para o mesmo nome no remoto.
No entanto, o significado do comando não está claro para mim. Por que isso tem esse efeito?
Não consegui encontrar uma resposta ( esta pergunta parece resolver o problema, mas o título é enganoso).
Respostas:
HEADaponta para o topo da ramificação atual. gitpode obter o nome do ramo a partir daí. Portanto, é o mesmo que:
git push origin CURRENT_BRANCH_NAME
mas você não precisa se lembrar / digitar o nome do branch atual. Além disso, evita que você direcione para o ramal remoto errado por acidente.
Se você deseja enviar um branch diferente do atual, o comando não funcionará.
git push origine git push origin HEAD?
git push originé um comando válido. Se a push.defaultconfiguração do Git estiver definida como nothing, git push origin"não enviará nada (erro para fora)" de acordo com man git-config. Mas outras push.defaultconfigurações têm outros comportamentos. Pesquise push.defaultem man git-config. Pesquise também "Quando a linha de comando não especifica onde enviar" e "Quando a linha de comando não especifica o que enviar" na seção de descrição na parte superior de man git-push(ou seja man git-push, não man git-config).
HEADútil mencionar que é uma referência simbólica e pode ser vista comgit symbolic-ref HEAD.