更改本地和远程分支的名称
git branch -m old_branch new_branch # Rename branch locally 本地分支改名
git push origin :old_branch # Delete the old branch 删除远程旧分支
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote 新建远程分支，推送本地改名后分支到远程
总感觉怪怪的