From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 03 Jan 2025 19:09:34 GMT
Subject: Re: [PATCH 05/10] github: simplify computation of the job's distro
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:

> 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"???