...
左边的develop是指定本地的分支名称，右边的develop指定的是远程origin上的分支名称，如果远程没有develop分支，则会自动创建远程分支。
上面即可以在检出develop之后修改提交再push，也可以先在本地master分支上修改提交，然后检出develop分支，再push。上面既可以在检出develop之后修改提交再push，也可以先在本地master分支上修改提交，然后检出develop分支，再push。
注意，上面的push并不会将本地的develop分支与远程的develop分支建立关联，如果要建立关联，可以在push时执行--set-upstream选项，或者事后执行以下指令：
...