coding 上怎么删除远程分支？

[shell92]

我执行 git push origin :master
报错
remote: error: By default, deleting the current branch is denied, because the next
remote: error: 'git clone' won't result in any file checked out, causing confusion.
remote: error:
remote: error: You can set 'receive.denyDeleteCurrent' configuration variable to
remote: error: 'warn' or 'ignore' in the remote repository to allow deleting the
remote: error: current branch, with or without a warning message.
remote: error:

[shell92]

我没找到在哪里配置 receive.denyDeleteCurrent 这个属性。。。。。

[bingwenshi]

这个应该是 server 上设置的

远端的 master 分支不能删，删了 clone 的时候就没有默认分支了