git push命令

命令格式：

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