Shouldn't the second "git pull" be a "git push"?