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

From: Ludovic Courtès <[email-masked]>
Date: Fri, 24 Jul 2020 15:08:55 +0200

Hi,

Jakub Kądziołka <[email-masked]> skribis:

> remote: GitLab: You are not allowed to push code to protected branches on this project.
> To ssh://gitlab.inria.fr/guix-hpc/guix-past.git
>  ! [remote rejected] master -> master (pre-receive hook declined)
> error: failed to push some refs to 'ssh://gitlab.inria.fr/guix-hpc/guix-past.git'

Bah, I always forget about that.  You should be allowed to push now.
Ping me on IRC if not!

Ludo’.