I added a better description of git push.