On Sun Nov 13, 2022 at 3:38 PM GMT, jgart via Guix-patches via wrote: > guix: scripts: refresh: ... Nitpick again: it's just ``scripts: refresh: ...'' ;) -- (