Hi Maxime, Thanks for your replies.  I hadn't thought about the issue with make authenticate, but makes complete sense!  Thanks for explaining. I've attached an updated patch, which I think does what you asked for (replacing make authenticate with guix git authenticate. Many thanks, Emma Sep 18, 2022, 19:53 by maximedevos@telenet.be: > > > On 18-09-2022 19:26, Maxime Devos wrote: > >> [...] >> >> As such, I propose that: >> >>   * you adjust the patch to note that authenticating the checkout is >>     impossible if you don't already have Guix installed (instead of >>     recommending the insecure "make authenticate") >> >>   * I write a patch removing "make authenticate" and adjusting old uses >>     of "make authenticate" to "guix git authenticate ...". >> > > > I have attached a patch for the latter. > > Greetings, > Maxime. >