页面历史记录

...

上面即可以在检出develop之后修改提交再push，也可以先在本地master分支上修改提交，然后检出develop分支，再push。

注意，上面的push并不会将本地的develop分支与远程的develop分支建立关联，如果要建立关联，可以在push时执行--set-upstream选项，或者事后执行以下指令：

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

gitlab上提交合并申请时勾选合并后删除分支选项，避免分支一支留存。

合并通过后本地执行get remote prune命令把失效的远程分支删除。

如果要取消本地develop分支与远程develop分支的关联，可以执行下面的指令：

git branch --unset-upstream develop