[git]删除远程分支

git push的完整命令是：

// origin为远程仓库名
git push origin <source>:<destination>

不管当前HEAD在哪里，该命令将本地的分支<source>推送到远程的分支<destination>

如果<source>省略，则会删除远程分支。

即：

git push origin :<destination>