git - 你如何删除远程 git branch "properly"，也就是为所有用户更新远程分支列表？

Question

我正在尝试删除一个远程 git 分支，但是该过程并没有像我预期的那样“完全”删除该分支。

例如，假设我要删除一个名为 mybranch 的分支。为此，我运行以下命令，

git push origin :mybranch

这会按预期删除分支，如果我执行 git branch -a 它不再出现在本地或远程列表中。

我遇到的问题是，如果我去另一个人的机器上执行 git pull 而分支存在，他们执行 git branch -a，它是仍然作为远程分支在他们的列表中。

我们已经尝试了多个命令，pull、gc、prune，但没有更新此列表和删除远程分支。

是否有命令同步(我只能假设是)远程分支列表的本地缓存，并删除任何不再存在的远程分支？

Answer 1

在他们更新 Remote 之前，他们的 git 不知道存储库上发生了什么。一旦他们完成更新(通过 git fetch 或 git remote update)，git remote show origin 将正确显示他们有本地跟踪上游不再存在的分支的分支。那时，git remote prune 可用于删除陈旧的本地分支。