Différences entre git pull Origin master et git pull Origin / master
Quelle est la différence entre git pull Origin master et git pull Origin/master?
git pull Origin master extraira les modifications de la branche Origin remote, master et les fusionnera dans la branche extraite locale.
git pull Origin/master extraira les modifications de la branche stockée localement Origin/master et les fusionnera dans la branche extraite locale. La branche Origin/master est essentiellement une "copie en cache" de ce qui a été extrait en dernier lieu de Origin, raison pour laquelle on l'appelle une branche distante dans le jargon git. Cela pourrait être un peu déroutant.
Vous pouvez voir quelles branches sont disponibles avec git branch et git branch -r pour voir les "branches distantes".