Description: git pull is essentially shorthand for a git fetch followed by a merge of whatever branch was just fetched. sad Synopsis: