Re: [PATCH] cocci: remove 'unused.cocci'

From: Junio C Hamano <gitster@pobox.com>
Date: May 10, 2023, 22:45 UTC
Message-ID: <xmqqv8gz24c7.fsf@gitster.g>
In-Reply-To: <230501.865y9chs69.gmgdl@evledraar.gmail.com>

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

> A better way to spot that would be to start parsing the coccinelle logs,
> and detect when we have unknown parsing issues, and error on those. But
> until then...

Until then, I do not think a rather costly test that has found only 4 instances of the mistakes the test was designed to find is a good way to stand in as a replacement.

Let's drop it, as it is easy to resurrect if somebody wants to run it from time to time from an old version of Git. Or is it a valid alternative to move it to "pending"?

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.