命令格式：
git push <远程主机名> <本地分支名>:<远程分支名>
通常用法：
git push origin HEAD:远程分支名
1、创建远程不存在的分支
git push origin HEAD:新建分支名
2、删除远程存在的分支
git push origin :123
本地分支名填空，等同于
git push origin --delete 123
3、git push 不会推送标签（tag），推送标签需要加-tags选项
git push origin -tags
4、refs/for的意义在于我们推送到服务器的之后需要经过code review之后才能进行merge的，而refs/heads不需要。这个不是git的规则而是gerrit的规则。
5、查看本地分支对应的远程分支
1、git branch -vv 2、git remote show origin 3、cat .git/config