git 提交pr与修改分支名

参考：git 如何修改本地分支名称与远程分支名称

修改本地分支名：

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)

如果管理员同意就会将你的分支合并到主分支中。