Re: [PATCH v3 00/11] cocci: make "incremental" possible + a ccache-like tool

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 17, 2022, 19:08 UTC
Message-ID: <xmqqpmeqz2rn.fsf@gitster.g>
In-Reply-To: <221017.86czaqjnhy.gmgdl@evledraar.gmail.com>

Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:

> But as 10/11 notes we can just avoid this by not picking conflicting
> names, which doesn't seem like an undue burden.

As long as it is clearly documented to make it well known to everybody who would attempt to touch or add .cocci files, I am OK with that direction.

> AFAICT we have 5 named rules, and seemingly only 1/4 actually needs its
> name, the rest are apparently only using it for self-documentation, and
> we could either remove the name, or accomplish the same with a comment:

Well, if they are for self-documentation, they'd better be unique, or they are not self-documenting enough, no ;-)?

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