git远程删除分支但本地git branch -a仍能看到解决

在gitlab页面删除分支

但是本地能可以看到

$ git branch -a
  br_dev
  br_to_delete
* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/br_dev
  remotes/origin/br_to_delete
  remotes/origin/master

git remote prune origin命令即可删除