关于idea打标签和删除标签的问题

       众所周知，idea可以打标签，但是好像不能删除标签，不知道是不是idea版本的问题，反正我试了不行，然后使用的命令删除的。有知道的小伙伴说一下。

1. 获取tag列表
   git tag
2. 删除tag，其中v0.1是tag 名称
   git tag -d v0.1
3. 提交删除的tag
   git push origin :v1.0