From: Johannes Schindelin Date: Tue, 19 Jul 2016 14:35:26 GMT Subject: Re: git-prompt.sh incompatible with non-basic global grep.patternType Message-ID: In-Reply-To: Hi Richard, On Tue, 19 Jul 2016, Richard Soderberg wrote: > Aha! Yes, this works precisely as intended: the prompt works > correctly, and quickly, with this change in place. Okay, next step for you: read http://github.com/git-for-windows/git/blob/master/Documentation/SubmittingPatches and submit this patch with an informative commit message. Ciao, Johannes