Git pull

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