Git push and delete remote tags

http://blog.csdn.net/shines/article/details/8558293

In fact, Git's push and delete remote tag commands are the same, and the delete operation is actually pushing an empty source tag refs:
git push origin tag name
is equivalent to
git push origin refs/tags/source tag name:refs/tags/destination tag name


git push is explained in the documentation:

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.

Pushing a tag:
git push origin tagname  To

delete a local tag:
git tag -d tagname  To

delete a remote tag:
git push origin :refs/tags /tag name 
 
git push origin:refs/tags/protobuf-2.5.0rc1Other 
local operations:


#Tagging 
git tag -a v1.1.4 -m "tagging version 1.1.4" #Deleting the 
 
local warehouse tag 
git tag -d v1. 1.4 
 
#List tags 
git tag