问题描述
我有一个 git 分支和一个 git 标签,它们在本地和远程都具有相同的名称和多个斜杠。
我想写一个bash脚本调用git命令删除本地分支和本地标签,然后是远程分支和远程标签。
对于此示例,假设分支/标签名称为:production/2020/12/10
该分支/标签名称是一个假设,可以找到适用于更好命名的分支/标签的解决方案。
如有任何帮助,我们将不胜感激。
解决方法
使用完整的refname:
git branch -D refs/heads/production/2020/12/10
git tag -d refs/tags/production/2020/12/10
git push --delete refs/heads/production/2020/12/10 refs/tags/production/2020/12/10