GNU bug report logs - #42335
[PATCH guix-past] Add old versions of RGBDS

Previous Next

Package: guix-patches;

Reported by: Jakub Kądziołka <kuba <at> kadziolka.net>

Date: Sun, 12 Jul 2020 16:03:01 UTC

Severity: normal

Tags: patch

Done: Jakub Kądziołka <kuba <at> kadziolka.net>

Bug is archived. No further changes may be made.

Full log

Message #14 received at 42335 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Jakub Kądziołka <kuba <at> kadziolka.net>
Cc: 42335 <at> debbugs.gnu.org
Subject: Re: [bug#42335] [PATCH guix-past] Add old versions of RGBDS
Date: Wed, 22 Jul 2020 12:20:07 +0200

Hi,

Jakub Kądziołka <kuba <at> kadziolka.net> skribis:

> On Tue, Jul 21, 2020 at 06:33:05PM +0200, Ludovic Courtès wrote:

[...]

>> You should now have a gitlab.inria.fr account.  We need to add you to
>> ‘.guix-authorizations’; will you use the same OpenPGP key as in Guix?
>
> Nice! Yeah, I'll use the same key.

Done!  You should be able to push now.  Please do install the pre-push
hook as noted in ‘README.md’, and let me know if anything is amiss.

Thanks,
Ludo’.
This bug report was last modified 5 years and 22 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.