小编Ern*_*893的帖子

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

origin/HEAD -> origin/master
origin/devBranchA

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