git 远程分支重命名后

我们在开发 FineReport9.0，进入改 bug 阶段，分支是 “9.0release”。突然弃用这个分支，服务器上改名为“release/9.0”，原有分支已删除。问题来了，我本地还是 9.0release，无法 pull、push 代码。有的同事选择删除本地仓库，重新下载。我摸索出了一个更方便的方法。

1. 执行 git remote prune origin（直接执行步骤 2，可能报错，提示执行此命令）
2. 执行 git fetch，此时本地可以通过 git branch -av 看到新的远程分支
3. 执行 git config -e，修改分支匹配（尾部的内容如下：）

[branch "9.0release"]
remote = origin
merge = refs/heads/release/9.0
复制

此时，本地的 9.0release 已经与远程的 release/9.0 匹配上了。

4. 本地分支改名：当前在 9.0release 分支上，执行 git branch -m release/9.0 即可