分支的重命名

本地分支：

git branch -m devel develop

远程分支重命名

1、删除远程分支

2、重命名本地分支

3、push本地分支