リモートブランチが削除できない><
リモートブランチを削除しようとしたら、以下のように怒られた。
$ 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