Gitで歴史を書き換える

あるリポジトリからディレクトリを消しさる必要があり、gitコマンドを探したところgit filter-branchというものを見つけました。 ルートディレクトリ直下にあるResources/というディレクトリをすべてのブランチ、すべてのタグから消し去るメモです。 git filter-branch -f --index-filter 'git rm -rf --ignore-unmatch Re…