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

Previous Next

Full log

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

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

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

On Fri, Jul 24, 2020 at 03:08:55PM +0200, Ludovic Courtès wrote:
> 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!

It worked this time :D

Thanks,
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.