git push <remote 名字> <本地分支的名字> : <远程库的名字>
将本地分支推送到远程库
git push origin HEAD:refs/for/master
git push 表示推送
origin : 是远程的库的名字
HEAD: 是一个特别的指针,它是一个指向你正在工作的本地分支的指针,可以把它当做本地分支的别名,git这样就可以知道你工作在哪个分支
master: 远程库的master分支
以下是Gerrit的约定:
refs/for :意义在于我们提交代码到服务器之后是需要经过code review 之后才能进行merge的
refs/heads 不需要 code review