git 更新分支的信息

假如服务器的某个分支删除了，但是本地通过git branch -av还是可以看得到，感觉很烦，通过以下命令就可以更新分支的情况。

git fetch origin --prune