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

Previous Next

Full log

View this message in rfc822 format

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

[Message part 1 (text/plain, inline)]

On Wed, Jul 22, 2020 at 12:20:07PM +0200, Ludovic Courtès wrote:
> 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.

Thank you. It seems that I don't have GitLab-level permissions for the
repository, though. I tried to find the widget that lets me copy the
ssh:// URL for pushing, but couldn't. I did see a "Request access"
link, though. I clicked it, so you should see an access request in your
notifications soon.

Regards,
Jakub Kądziołka

[signature.asc (application/pgp-signature, inline)]

Previous Next

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