[git] 修改git本地分支名

为建立中文知识库加块砖　　　　　　　　——中科大胡不归

背景

如果远程分支重命名，比如从master改为main，那么本地已克隆的本地分支也可能需要修改命名。

关键操作

使用如下命令完成本地分支名修改：

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a