add alias to git push command