修改本地分支名:
git branch -m old_name new_name
删除远程分支:
git push origin :old_name
重新创建一个新的远程分支
也就是将你现在所在的分支,再push一遍
git push origin new_name
如何提交pr
首先,你需要搞一个功能,你会在本地创建一个自己的分支
好了以后就push到远端的分支上
再到远端的网页上,创建一个pr(我看我的gitlab中好像只有mr: merge request)
如果管理员同意就会将你的分支合并到主分支中。