[开发工具]git删除分支。remote ref does not exist

开发过程中，使用git管理分支，经常需要把不用的分支删除，需要使用到下面的命令：

1. 删除本地分支

git branch -d 分支名。   （正常删除）
git branch -D 分支名。  （如果要删除的分支还没有合并到master分支，那就需要执行这一条）

2. 删除远程分支

git push origin --delete 分支名     （删除远程分支，并推送）

在删除远程分支的时候，有可能会提示。remote ref does not exist。

原因是远程分支已经被删除，但是我们使用git branch -a 查看的时候，仍然会看到那个分支，这时候就用到下面的命令了

git fetch -p origin  (先清除远程分支的本地缓存)