git 修剪本地分支(git remote prune origin)

在日常开发工作中，经常拉取远程分支，每次回拉取出新的远程分支信息，但如果远程有分支已经删除，git pull是不会在本地将这些分支删除的，因此本地可能存在很多远程已经不存在的分支信息（git branch -a 能够看到的分支列表），如果想要跟远程保持一致，就需要修剪本地分支，使用这个命令即可：

git remote prune origin