Re: What's cooking in git.git (Jan 2025, #08; Tue, 28)

Patrick Steinhardt [off-list ref] writes:

On Fri, Jan 31, 2025 at 06:30:15PM -0500, Jeff King wrote:

quoted

On Wed, Jan 29, 2025 at 08:57:36AM +0100, Patrick Steinhardt wrote:
-- >8 --
Subject: [PATCH] ci: set CI_JOB_IMAGE for coverity job

The main GitHub Actions workflow switched away from the "$distro"
variable in b133d3071a (github: simplify computation of the job's
distro, 2025-01-10). Since the Coverity job also depends on our
ci/install-dependencies.sh script, it needs to likewise set CI_JOB_IMAGE
to find the correct dependencies (without this patch, we don't install
curl and the build fails).

Signed-off-by: Jeff King <redacted>
---
Grepping for "distro:" doesn't find any other instances.

Doh, indeed. Thanks for fixing!

Thanks, both.  Queued and pushed out.