Git重命名远程分支

• 先将本地分支重命名：

git branch -m develop

• 删除远程分支：

git push --delete origin dev

• 将重新命名的分支推送到远端：

git push origin develop

• 将修改后的本地分支与远程分支关联：

git branch --set-upstream-to origin/develop

• 远程分支重命名完成。