git 清除本地无效的分支

远程服务器的分支已经删掉了，但是本地分支还存在

$ git fetch -p

 

如果不行，使用下面的指令

$ git remote prune origin