Re: [PATCH 0/5] diff --ignore-case

Thomas Rast [off-list ref] writes:

I wonder which one of us misunderstood the original request ;-)

Heh, I did ;-)

It was

} Is there any way to run diff -G with a case insensitivity flag?

and I took that to mean "I want to find addition/removal of a string
like -G does, but I don't know how it was capitalized".

I think it is just the matter of checking REG_ICASE that may be set in
revs->grep_filter.regflags, and propagating it down to the regcomp at the
beginning of diffcore_pickaxe_grep().

Want to try and see how well it works?