GNU bug report logs - #53837
[PATCH] gnu: Remove leftover patch files.

Previous Next

Full log

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

From: Leo Famulari <leo <at> famulari.name>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 Julien Lepiller <julien <at> lepiller.eu>, 53837-done <at> debbugs.gnu.org
Subject: Re: [bug#53837] [PATCH] gnu: Remove leftover patch files.
Date: Wed, 23 Feb 2022 09:56:51 -0500

On Wed, Feb 23, 2022 at 03:18:34PM +0100, zimoun wrote:
> Hi,
> 
> On Thu, 10 Feb 2022 at 21:56, Ludovic Courtès <ludo <at> gnu.org> wrote:
> 
> > To be on the safe side, you can run “make as-derivation” before pushing.
> > Of course that will only catch serious issues, but if other issues come
> > up (unlikely), we’ll follow up.
> 
> For some rare cases, "make as-derivation" does not catch some errors;
> so when I want to be 100% sure, instead I run:
> 
>     ./pre-inst-env guix pull -p /tmp/new --url=$(pwd)
> 
> specifying the branch if different from master.  Or something along
> this line.  However, then it is possible that the authentication
> mechanism needs to be restored. :-)

Good tips! I pushed this as d2bb4847b96e51b71126778bb16daa7674a6690c a
few days ago, but forgot to close this ticket.

Previous Next

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