hi all: 如何让已经失效的远程 branch-name 在执行 git branch -a 的时候不再展示？

有同事 push 了一个 git 分支，并且被我给 pull 到本地了

同事在自己机器上执行了 git branch -d branch-name git push origin :branch-name

我在自己机器执行 git branch -d branch-name //ok git push origin :branch-name //提示：

error: unable to delete 'branch-name': remote ref does not exist error: 无法推送一些引用到 'git@gitserver:phplib'

大家帮忙想想办法让已经失效的远程 branch-name 在执行 git branch -a 的时候不再展示吧？谢谢