A brief tutorial on what to do when "git pull" fails