git push tag from develop to master code example

Example 1: 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

Example 2: git create tag and push

git tag -a v1.4 -m "my version 1.4"