Re: [PATCH 05/10] github: simplify computation of the job's distro

From: Junio C Hamano <gitster@pobox.com>
Date: Jan 3, 2025, 19:09 UTC
Message-ID: <xmqq7c7br9xt.fsf@gitster.g>
In-Reply-To: <20250103-b4-pks-ci-fixes-v1-5-a9bb95dff833@pks.im>

Patrick Steinhardt <ps@pks.im> writes:

Show 9 quoted lines

> We explicitly list the distro of Linux-based jobs, but it is equivalent
> to the name of the image in almost all cases, except that colons are
> replaced with dashes. Drop the redundant information and massage it in
> our CI scripts, which is equivalent to how we do it in GitLab CI.
>
> There are a couple of exceptions:
>
>   - The "linux32" job, w whose distro name is different than the image
>     name. This is handled by adapting all sites to use the new name.

"w whose"???

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