add an alias for "git push"