add a alias for git push