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

Question

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

origin/HEAD -> origin/master
origin/devBranchA

为什么会这样？我已经尝试过git pull，但没有显示任何区别。