这是一个创建于 1152 天前的主题，其中的信息可能已经有所发展或是发生改变。
有人 push 一个 tag
我 git pull --tags
然后别人把这个 tag 删除了.
我如何同步到本地?(手动删除本地的不算)
谢谢
 |
1
RightHand 2022 年 11 月 15 日 via Android
--mirror ？
|
 |
2
j0hnj 2022 年 11 月 15 日 via iPhone
git pull -p
|
 |
3
sinboy1988 2022 年 11 月 15 日
git pull --tags
|
 |
4
xmai 2022 年 11 月 15 日  1
git tag -l | xargs git tag -d #删除所有本地 tag
git fetch origin --prune #从远程拉取所有信息 |
 |
5
xz410236056 2022 年 11 月 15 日 1
@xmai #4 这命令最大的问题就是不是所有人仓库都叫 origin 啊。。。
git tag -l | xargs git tag -d && git fetch -t |
 |
6
chaleaochexist OP |
Select Language