From: Eckhard Maaß <eckhard.s.maass@googlemail.com>
Date: Tue, 12 Jun 2018 20:25:09 GMT
Subject: Re: How to delete files and directories from git commit history?
Message-ID: <20180612202509.GA25677@esm>
In-Reply-To: <20180612154413.3df64441@mydesk.domain.cxm>

On Tue, Jun 12, 2018 at 03:44:13PM -0400, Steve Litt wrote:
> 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?

Are you sure that you pruned all branches? I would have expected a
command like "git filter-branch ... -- --all" to prune every branch from
the directories.

Greetings,
Eckhard