我们有时候把不想要的分支 push 到 server 上,想要删除掉。可以使用下面的命令:
git branch -d branch-name
git push origin :branch-name
注意:冒号前面的空格不能少,原理是把一个空分支 push 到 server 上,相当于删除该分支。