Information Technology Reference
In-Depth Information
ment, they are generally considered a better choice. Both types of tags are published
with:
$ git push --tags
To synchronize your tags with the remote repository use:
$ git fetch --tags
To delete a remote tag, you should use the same command as to delete a remote
branch:
$ git push origin :remote-branch-to-delete
$ git push origin :refs/tags/remote-tag-to-delete