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
