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