add git alias for git push --tags