Subject: [bug#75246] Request for merging "python-team" branch

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 16 Jan 2025 10:51:19 +0100

Ricardo Wurmus <[email-masked]> writes:

> Unfortunately, ci.guix.gnu.org seems to have stopped following our
> progress.

I've fixed this by deleting a stray lock file.

> https://qa.guix.gnu.org/branch/python-team doesn't know the merge base,
> so I will rebase python-team once more on top of master some time today.

I just pushed the rebased branch.

-- 
Ricardo