git: How to push a tag to remote origin

If you've created a tag on the local repository and want to push it to the origin repo, it's quite easy!

To update all the tags, just type:

git push --tags

Otherwise, type the following to update a specific tag:

git push --tags stable

Viola!

Source

• git push tag -> master