Re: how to remove from history just *one* version of a file/dir?

2017-09-15 Thread Jeff King
On Fri, Sep 15, 2017 at 07:06:43AM -0400, Robert P. J. Day wrote: > > I think you want to stick with a --tree-filter (or an > > --index-filter), but just selectively decide when to do the > > deletion. For example, if you can tell the difference between the > > two states based on the presence of

Re: how to remove from history just *one* version of a file/dir?

2017-09-15 Thread Robert P. J. Day
On Thu, 14 Sep 2017, Jeff King wrote: > On Thu, Sep 14, 2017 at 07:32:11AM -0400, Robert P. J. Day wrote: > > > [is this the right place to ask questions about git usage? or is > > there a different forum where one can submit possibly > > embarrassingly silly questions?] > > No, this is the

Re: how to remove from history just *one* version of a file/dir?

2017-09-14 Thread Jeff King
On Thu, Sep 14, 2017 at 07:32:11AM -0400, Robert P. J. Day wrote: > [is this the right place to ask questions about git usage? or is > there a different forum where one can submit possibly embarrassingly > silly questions?] No, this is the right place for embarrassing questions. :) > say,

how to remove from history just *one* version of a file/dir?

2017-09-14 Thread Robert P. J. Day
[is this the right place to ask questions about git usage? or is there a different forum where one can submit possibly embarrassingly silly questions?] i've been perusing "git filter-branch", and i'm curious if i have the right idea about how to very selectively get rid of some useless