new post 2013-1-16-git pull and git push