[PATCH] gnu: Remove leftover patch files.

> These patches aren't used anywhere in Guix and we forgot to remove

> them.

>

> Le Sun, 6 Feb 2022 23:20:42 -0500,

> Leo Famulari <leo@famulari.name> a �crit :

>

> > These patches aren't used anywhere in Guix and we forgot to remove

> > them.

> >

>

> Haven't checked the files, but I trust you've only removed unused

> files. In that case, LGTM :)

> I'm hoping somebody will double-check for me :)

> Perhaps you can share the script that you used? That way we can review

> the script rather than its output. :-)

> On Wed, Feb 09, 2022 at 11:48:37AM +0100, Ludovic Courtès wrote:

>> Perhaps you can share the script that you used? That way we can review

>> the script rather than its output. :-)

>

> Sure, I did this:

>

> `find gnu/packages/patches | while read patch; do git grep ${patch##gnu/packages/patches/} gnu/packages >/dev/null || echo "${patch##gnu/packages/patches/} is leftover?"; done`

> I figure it could cause a problem if a patch file was used somewhere

> besides 'gnu/packages', or if the patch file name was "constructed".

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

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