Edited commands in git pull so that stylistically they match the rest of the document.