git push的完整命令是：
// origin为远程仓库名 git push origin <source>:<destination>
不管当前HEAD在哪里，该命令将本地的分支<source>推送到远程的分支<destination>
如果<source>省略，则会删除远程分支。
即：
git push origin :<destination>
