如何删除远程git分支；适当地；，a、 k.a.是否为所有用户更新远程分支列表？

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

比如说，我正在删除一个名为

mybranch

的分支。为此，我运行以下命令

git push origin :mybranch

这将按预期删除分支，如果我执行了

git branch-a

，它将不再在本地或远程列表中显示

我遇到的问题是，如果在分支存在时，我去另一个人的机器执行

git拉

，而他们执行

git分支-a

，它仍然作为远程分支在他们的列表中

我们尝试了多个命令，

pull

，

gc

，

prune

，但没有任何命令更新此列表并删除远程分支

---

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

在他们更新远程之前，他们的git将不知道存储库中发生了什么。一旦他们完成了更新（通过

git fetch

或

git remote update

），

git remote show origin

将正确地显示他们拥有上游不再存在的分支的本地跟踪分支。此时，

git remote prune

可用于删除过时的本地分支。

可删除远程上不再存在的任何远程跟踪分支

git fetch -p