Add dummy versions of git pull and git push