レポジトリからディレクトリを削除
下記コマンドで消せる。
git rm -r hoge/ git rm -r --cached hoge/
前者だとディレクトリ自体も消えます。
後者だとディレクトリは残った上で、インデックスからのみ削除されます。
上のコマンド叩いて git status すると、deleted 状態になっていることが確認出来ます。
git status # On branch master # Changes not staged for commit: # (use "git add/rm <file>..." to update what will be committed) # (use "git checkout -- <file>..." to discard changes in working directory) # # deleted: hoge/foo # deleted: hoge/bar
あとはいつも通り commit してあげれば OK。
なお、削除したディレクトリを復元はこんな。
git reset
削除時に --cached つけないとディレクトリ自体が消えてしまうので、復元するにはもう一度 checkout しなおす必要があるような。