最新回答 / 假蛙工程师
亲测,两种方发git push origin --delete tag 标签名 和 git push origin :refs/tags/标签名 都可以使用,删除的提示信息相同。猜测没什么区别,可能第二个是以前的命令,为了向后兼容所以保留了下来,没有依据,纯属猜测。另外第一个比较容易记忆,所以推荐使用第一个。
2019-04-23