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

View this message in rfc822 format

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

Hi,

Jakub Kądziołka <kuba <at> kadziolka.net> 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’.
This bug report was last modified 5 years and 23 days ago.

Previous Next

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