From: Jeff King <peff@peff.net>
Date: Wed, 20 Jul 2016 13:42:12 GMT
Subject: Re: git-prompt.sh incompatible with non-basic global grep.patternType
Message-ID: <20160720134211.GA19359@sigill.intra.peff.net>
In-Reply-To: <CAEvc1UQvXKtQCXvCmt-774A84--bkK-sb94BtFeqDDr0Gsf7qw@mail.gmail.com>

On Mon, Jul 18, 2016 at 03:56:09PM -0700, Richard Soderberg wrote:

> ps. git log --basic-regexp does not fix the issue, as for unknown
> reasons (I'll start another thread) the command-line option doesn't
> override grep.patternType.

Dscho gave a fix for your immediate issue, but this "ps" definitely
seems like a bug to me. Command-line options should always take
precedence over config.

-Peff