Qu'est-ce que git push origin HEAD veut dire?
j'ai trouvé, dans le guide officiel :
git push origin HEADun moyen pratique pour pousser la branche actuelle à la même nom sur la télécommande.
Cependant, la signification de la commande n'est pas clair pour moi. Pourquoi a-t-elle cet effet?
je n'ai pas été en mesure de trouver une réponse ( cette question semble traiter le problème, mais le titre est trompeur).
1 réponses
HEAD souligne le haut de la branche. git peut obtenir le nom de la branche. Donc c'est la même chose que:
git push origin CURRENT_BRANCH_NAME
mais vous n'avez pas à vous rappeler/taper le nom de la branche courante. En outre, il vous empêche de pousser à la mauvaise branche distante par accident.
Si vous voulez pousser une autre branche que la commande ne fonctionnera pas.