Quelle est la difference entre git pull origin master
et git pull origin/master
?
git pull
signifie git fetch
suivi par git merge
. Il récupère le contenu de la télécommande, puis le fusionne dans votre branche actuelle. Mais origin/master
est une branche locale (suivi d'une branche distante). Si vous voulez le fusionner, vous n'avez rien à chercher. Il est trompeur de dire git pull origin/master
que vous ne récupérez pas réellement à distance.
origin/master
s'agit d'une branche stockée localement qui met en cache la branche principale sur la télécommande d'origine.
git pull origin/master
. Si vous souhaitez fusionner la branche distante [stockée localement]origin/master
, utilisez simplementgit merge origin/master
.