Subject: Re: Request for merging "kernel-team" branch
From: Andreas Enge <[email-masked]>
To: Leo Famulari <[email-masked]>
Cc: Christopher Baines <[email-masked]>, [email-masked]
Date: Thu, 15 May 2025 13:48:41 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Am Wed, May 14, 2025 at 11:08:33AM +0200 schrieb Andreas Enge:
> so that we should get useful information at
>    https://qa.guix.gnu.org/branch/kernel-team

Well, the branch looked good, so I have pushed it to master and deleted it.
Thanks for seeing these updates through!

Andreas