我想要删除一个远程git分支,但是这个过程并没有像我期望的那样完全删除了这个分支。
举个例子,假设我要删除一个名为mybranch
的分支。为此,我运行以下命令:
git push origin :mybranch
这如预期一样删除了分支,如果我执行 git branch -a
,那么它在本地或远程列表中都不再显示。
我的问题是,如果我去另一个人的机器上,在该分支存在时他们执行了 git pull
,并且他们执行 git branch -a
,仍然会在列表中作为远程分支出现。
我们尝试了多个命令,包括 pull
、gc
和 prune
,但没有更新此列表并删除远程分支。
是否有命令可以同步(我只能假设是)远程分支列表的本地缓存,并删除不再存在的任何远程分支?