simpler git aliases for git pull and git push