Added in a note which elaborates that git pull is a summary command of g...

Added in a note which elaborates that git pull is a summary command of git fetch and git merge.