What git pull is

$ git pull

is shorthand for

$ git fetch
$ git merge origin