Added a new alias for git push --tags.