git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH V3] check-ignore: Add option to ignore index contents

From
Junio C Hamano <gitster@pobox.com>
Date
Sep 6, 2013, 16:30 UTC
Message-ID
<xmqqmwnpzzeb.fsf@gitster.dls.corp.google.com>
In-Reply-To
<20130906055955.GA12622@opensourcesolutions.co.uk>
Dave Williams <dave@opensourcesolutions.co.uk> writes:
Show 7 quoted lines
> On 15:27, Thu 05 Sep 13, Junio C Hamano wrote:
>> Now the long option name is "--no-index", it makes me wonder if "-i"
>> is a good synonym for it, and the longer I stare at it, the more
>> certain I become convinced that it is a bad choice.
>> 
> I had originally called it "--ignore-index" at which point "-i" made
> more sense!
I know, but with --no-index it no longer does.
Previous: Dave Williams
Message 4 of 4 in “check-ignore: Add option to ignore index contents”
  1. check-ignore: Add option to ignore index contentsDave Williams, Sep 5, 2013
  2. Junio C HamanoSep 5, 2013
  3. Dave WilliamsSep 6, 2013
  4. Junio C HamanoSep 6, 2013

Read the whole thread, see it on lore, or plain text.

$ 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.