我知道如何使用
在本地删除分支 git branch -d <branch_name>
以及如何使用
在本地和远程删除 git push origin --delete <branch_name>
我最近学会了如何修剪过时的分支,只有这样做才能看到运行此命令时远程分支列表中反映的更改
git branch -r
但是每当我运行此命令时,分支列表似乎仍然显示所有分支
git branch
是否有命令同步来自远程的更改以反映在本地分支列表中,因此当我删除github上的分支时,我可以提取所有分支更改的更新,即哪一个已被删除,哪个仍然留在我当地的环境中?