在gitlab上删除的分支仍然存在于命令行中？

Question

在将开发分支devBranchA合并到主服务器之后，我在Web界面上删除了它（确切地说，在gitlab.com上）。如果我然后做一个git branch -r列出所有远程分支，我得到：

origin/HEAD -> origin/master
origin/devBranchA

为什么会这样？我已经尝试了git pull，但它没有显示任何差异。

Answer 1

使用git remote prune origin从本地仓库中删除已删除的远程分支。

使用git branch -d <branch-name>删除本地分支。