Git instructor training

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