Quelle est la difference entre git pull origin masteret git pull origin/master?
git pullsignifie git fetchsuivi par git merge. Il récupère le contenu de la télécommande, puis le fusionne dans votre branche actuelle. Mais origin/masterest 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/masterque vous ne récupérez pas réellement à distance.
                origin/masters'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.