git 远程分支重命名后

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