On Tue, Jun 12, 2018 at 4:26 PM, Christian Couder <christian.couder@xxxxxxxxx> wrote: > On Tue, Jun 12, 2018 at 9:44 PM, Steve Litt <slitt@xxxxxxxxxxxxxxxxxxx> wrote: > >> My project (call it myproject) had a directory (call it docs/propdir) >> that was unnecessary for the project, and I've decided I don't want to >> offer the files in that directory as free software. So I need to delete >> docs/propdir from all commits in the repository. I did the following, >> while in my working repository's myproject directory: >> >> git filter-branch --tree-filter 'rm -rf docs/propdir' HEAD > >> What command do I do to remove all mention of doc/propdir and its >> files from my git history? > > Did you check the "CHECKLIST FOR SHRINKING A REPOSITORY" section of > the filter-branch man/help page? Also see BFG Repo Cleaner for an alternative. https://rtyley.github.io/bfg-repo-cleaner/
