What is the difference between ‘git pull’ and ‘git fetch’?
git pull does a git fetch followed by a git merge under refs/remotes/<remote>/.and does not make any changes refs/heads
git pull = git fetch + git merge.
