@@ -1716,6 +1721,10 @@ one step: $ git pull origin master -------------------------------------------------+This command will fetch the changes from the remote branch to your+remote-tracking branch `origin/master`, and merge the result in the+current branch.+
I wish. :) Actually this fetched to FETCH_HEAD and left origin/master
alone the last time I checked.