Added a note about pulling from github before pushing.