Jeff King <peff@xxxxxxxx> writes: > Hmm. So there are actually three potential options to flip. However, I > think the reasoning above is still sound. Yes, the grep side of the things is easier to understand and explain if only one option controlled the case insensitivity or whatever aspect of the search: "It is like searching things in 'log -p' output!" -- 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