
有人 push 一个 tag
我 git pull --tags
然后别人把这个 tag 删除了.
我如何同步到本地?(手动删除本地的不算)
谢谢
1 RightHand Nov 15, 2022 via Android --mirror ? |
2 j0hnj Nov 15, 2022 via iPhone git pull -p |
3 sinboy1988 Nov 15, 2022 git pull --tags |
4 xmai Nov 15, 2022 git tag -l | xargs git tag -d #删除所有本地 tag git fetch origin --prune #从远程拉取所有信息 |
5 xz410236056 Nov 15, 2022 @xmai #4 这命令最大的问题就是不是所有人仓库都叫 origin 啊。。。 git tag -l | xargs git tag -d && git fetch -t |
6 chaleaochexist OP |