Re: git-prompt.sh incompatible with non-basic global grep.patternType

From: Junio C Hamano <gitster@pobox.com>
Date: Jul 25, 2016, 16:16 UTC
Message-ID: <xmqqshux7kwr.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CAPig+cSw2t36n3ir61BhcMbSVMYoTVrYwbyGVSPcLoGnwR4w2w@mail.gmail.com>

Eric Sunshine <sunshine@sunshineco.com> writes:

>> Later when the grep API was used in revision graversal machinery,
>
> s/graversal/traversal/

Thanks.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.