git push origin --delete [branch_name]
git删除远程分支
原文：https://www.cnblogs.com/fengquan-blog/p/14998720.html
