On Thu, Jun 5, 2025, at 10:49, Ludovic Courtès wrote: "Leo Famulari" <l...@famulari.name> writes: >> We could adjust our pre-push hook to prevent this. > > Oh that’s right, that’s an easy change we can make.
Here's a patch that aims to prevent this: https://codeberg.org/guix/guix/pulls/445
