一个分支，在gitlab上删除了，在命令行里还存在？
A branch, deleted on gitlab, still exists in the command line?
将一个开发分支devBranchA合并到master后，我在web界面（准确的说是gitlab.com）删除了它。如果我然后执行 git branch -r 列出所有远程分支，我得到：
origin/HEAD -> origin/master
origin/devBranchA
为什么会这样？我已经尝试了 git pull，但没有显示出任何差异。
使用 git remote prune origin 从本地存储库中删除已删除的远程分支。
使用git branch -d <branch-name>删除本地分支。
将一个开发分支devBranchA合并到master后，我在web界面（准确的说是gitlab.com）删除了它。如果我然后执行 git branch -r 列出所有远程分支，我得到：
origin/HEAD -> origin/master
origin/devBranchA
为什么会这样？我已经尝试了 git pull，但没有显示出任何差异。
使用 git remote prune origin 从本地存储库中删除已删除的远程分支。
使用git branch -d <branch-name>删除本地分支。