In fact, the GIT push and delete remote tag commands are the same. The delete operation is actually to push the empty source tag refs:
Git push origin Tag Name
Equivalent
Git push origin refs/tags/source Tag Name: refs/tags/destination Tag Name
The GIT push document has an explanation:
Tag <tag> means the same as refs/tags/<tag>: refs/tags/<tag>. Pushing an empty <SRC> allows you to delete the <DST> ref from the remote repository. |
Push Tag:
Git push origin Tag Name
Delete local tags:
Git tag-D tag name
Delete remote tags:
Git push origin: refs/tags/Tag Name git push origin: refs/tags/protobuf-2.5.0rc1
Other local operations:
# Tag git tag-A v1.1.4-M "tagging version 1.1.4" # Delete the local repository tag git tag-D v1.1.4 # list the tag git tag
Reference:
Http://nathanhoad.net/how-to-delete-a-remote-git-tag
Http://linux.die.net/man/1/git-push
Transferred from:
Http://ihacklog.com/post/how-to-push-and-delete-a-remote-git-tag.html