git删除远程标签

中文百度出来的全是如下这种模式的：

git push origin :refs/tags/标签名       git push origin :refs/tags/protobuf-2.5.0rc1

或者git push origin --delete HEAD:refs/tags/1.0.0

并没解释清楚，发现和标签本身属性有关，直接git push origin --delete 标签名  就能删除