如果标签打错了,可以进行删除
git tag -d 标签名
所有的标签都存储在本地,不会自动推送到远程,打错的标签可以在本地进行安全删除。
如果想要推送某个标签到远程
git push origin 标签名
如果本地有很多标签,也可以一次性全部推送到远端
git push origin --tag
如果标签已经推送到远端,删除标签就需要下面步骤
1.先从本地删除 git tag -d 标签名
2.再从远程删除,格式如下
git push origin :refs/tags/标签名