git推送本地分支到远程

把本地当前分支推送到对应名称的远端分支
git push origin HEAD
如果本地当前分支名称是develop1那么跟下面一条命令是相同的
把本地develop1分支推送到远端分支develop1
git push origin develop1:develop1