git - 一个分支，在gitlab上删除了，还在命令行中？

Question

在将开发分支 devBranchA 合并到 master 后，我在 web 界面（准确地说，在 gitlab.com 上）将其删除。如果我然后git branch -r列出所有远程分支，我会得到：

origin/HEAD -> origin/master
origin/devBranchA

为什么呢？我已经尝试过git pull，但它没有显示出任何区别。

标签： gitgitlabgit-branch

Answer 1

用于git remote prune origin从本地存储库中删除已删除的远程分支。

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