Web lists-archives.com

Re: How to delete files and directories from git commit history?

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.