GIT push tags

 https://stackoverflow.com/questions/2988088/do-git-tags-get-pushed-as-well

git push --tags