Pulling and merging changes in git

To learn that git pull command is identical to git fetch plus git merge.

We are not going to run through the entire process of making and pulling a new change, but we want you to know that:

git pull

is actually equivalent to the following two steps:

git fetch
git merge origin/master