Re: [PATCH v3 4/4] Documentation: add lint-fsck-msgids

From: Jeff King <peff@peff.net>
Date: Oct 28, 2022, 05:37 UTC
Message-ID: <Y1tqn5qdSzeFwzug@coredump.intra.peff.net>
In-Reply-To: <xmqqk04kjyxd.fsf@gitster.g>

On Thu, Oct 27, 2022 at 10:32:30PM -0700, Junio C Hamano wrote:

Show 9 quoted lines

> Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> 
> > First, for the purposes of this thread I think Jeff and I are far off
> > into the weeds here :)
> 
> It is good to clearly separate where we would want to draw the line
> for this round, to get the already-worked-on-and-immediately-available
> improvement going, while we envision a future direction for the longer
> term.

Yeah, to be clear, I'm OK with your linting script in the near term. I didn't look at it _too_ carefully, but if the linter passes, then I think the proof is in the pudding, and we can consider the topic done for now.

-Peff

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