On 2012-07-31, at 7:22 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > J Smith <dark.panda@xxxxxxxxx> writes: > >> With the addition of the "basic", "extended", "fixed", and "perl" >> values for the "grep.extendedRegexp" option the name "grep.patternType" >> better represents the option's functionality. "grep.extendedRegexp" >> remains available as an alias to "grep.patternType" for the purposes of >> backwards compatibility. >> --- > > Sorry for not bringing this up earlier when we discussed grep.patternType, > but my preference would be to introduce grep.patternType with these > type names (including basic and perl) from the beginning, and then > ignore grep.extendedRegexp if grep.patternType is set. > > The core part of the change may look something like this... Ah, I see. Yeah, that's not a problem. I'll make the appropriate changes tomorrow and post a new patch. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html