Git SCM: merge local master branch with remote master branch

The “git pull remote master” did not work for me, I used “git pull origin master” instead (was this right?).

This site uses Akismet to reduce spam. Learn how your comment data is processed.