bug#53837: [PATCH] gnu: Remove leftover patch files.

[Leo Famulari]

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@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.