do local git tags push to the repo code example
Example: git push tags
#from git 1.8.3 you can use
git push --follow-tags
#single tag push
git push origin <tag_name>
#All tags (if possible use --follow-tags 'cause it's safer)
git push --tags#from git 1.8.3 you can use
git push --follow-tags
#single tag push
git push origin <tag_name>
#All tags (if possible use --follow-tags 'cause it's safer)
git push --tags