Thank you for clarifying, Jeff. And thank you to all the git contributors who not only maintain git for all the developers everywhere, but also provide first class support :) On Thu, Aug 17, 2023 at 12:47 PM Jeff King <peff@xxxxxxxx> wrote: > > On Thu, Aug 17, 2023 at 10:06:58AM -0700, Patrick wrote: > > > Just to be really clear, the filter in `interactive.diffFilter` is > > meant as a filter for transforming (think a photo filter), as opposed > > to a filter that removes elements, correct? I think that's what I got > > tripped up on when you explained the first two times. > > Yes, exactly. In retrospect, the name is a little ambiguous. :) > Glad you've figured it out. > > -Peff
