Qual è la differenza tra git pull origin mastere git pull origin/master?
git pullsignifica git fetchseguito 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/masterquando 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.