Qual è la differenza tra git pull origin master
e git pull origin/master
?
git pull
significa git fetch
seguito da git merge
. Recupera il contenuto dal telecomando, quindi lo unisce al ramo corrente. Ma origin/master
è un ramo locale (traccia un ramo remoto). Se vuoi unirlo, non è necessario recuperare nulla. È fuorviante dire git pull origin/master
quando non stai effettivamente recuperando da un telecomando.
origin/master
è un ramo memorizzato localmente che memorizza nella cache il ramo principale sul telecomando di origine.
git pull origin/master
. Se si desidera unire il ramo remoto [memorizzato localmente]origin/master
, basta usaregit merge origin/master
.