>>825
一応試したところgit rm -r dir/で実際のディレクトリもちゃんと消えるね