リモートブランチが削除できない><

リモートブランチを削除しようとしたら、以下のように怒られた。

$ git push origin :makimoto 
*** Deleting a branch is not allowed in this repository

Cannot delete remote branch in git - Stack Overflow によると、これは、中央リポジトリの設定によるものらしいので、変更する。

$ ssh git.repo.com
$ git --git-dir /path/to/myrepo.git config --bool hooks.allowdeletebranch true

改めて、削除する。

$ git push origin :makimoto
Identity added: /Users/superbrothers/.ssh/id_rsa (/Users/superbrothers/.ssh/id_rsa)
To ssh://git.repo.com/path/to/myrepo.git
 - [deleted]         makimoto