git submodule の削除

git submodule を削除するのに苦戦したのでメモっておく。

foo/bar が submodule だった場合に以下のコマンドを実行する。

$ git submodule deinit foo/bar
$ git rm foo/bar
$ git rm .git/modules/foo/bar