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

Previous Next

Full log

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

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

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. :-)


Cheers,
simon

Previous Next

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