git branch -m dev develop 修改本地分支名称
git push --delete origin dev 删除远程分支
git push origin develop 上传新命名的本地分支
git branch --set-upstream-to origin/develop 本地分支与远程分支关联
最后两步可以用git push -u origin develop
