From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 17 Oct 2022 19:08:44 GMT
Subject: Re: [PATCH v3 00/11] cocci: make "incremental" possible + a ccache-like tool
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 ;-)?