В чем разница между git pull origin masterи git pull origin/master?
git pullзначит с git fetchпоследующим git merge. Он извлекает контент с пульта, а затем объединяет его с вашей текущей веткой. Но origin/masterэто локальная ветка (отслеживание удаленной ветки). Если вы хотите объединить это, вам не нужно ничего извлекать. Неверно говорить, git pull origin/masterкогда вы на самом деле не получаете данные с пульта.
origin/masterэто локально хранящаяся ветвь, которая кэширует основную ветвь на удаленном источнике.
git pull origin/master. Если вы хотите объединить [локально сохраненную] удаленную веткуorigin/master, просто используйтеgit merge origin/master.