Git删除远程tag

删除远程分支

git push origin --delete tag v1.25.3