[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: [bug#42335] [PATCH guix-past] Add old versions of RGBDS
Date: Thu, 23 Jul 2020 09:51:48 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)


Jakub Kądziołka <> skribis:

> On Wed, Jul 22, 2020 at 12:20:07PM +0200, Ludovic Courtès wrote:
>> Hi,
>> Jakub Kądziołka <> skribis:
>> > On Tue, Jul 21, 2020 at 06:33:05PM +0200, Ludovic Courtès wrote:
>> [...]
>> >> You should now have a 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 ‘’, 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.

Oops, my bad.  Access granted now, lemme know how it goes!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]