On Thu, Jun 5, 2025, at 07:59, Ludovic Courtès wrote: > (Ideally we the Savannah folks would install pre-receive hooks to > prevent accidental pushes, but I suspect they’re not too keen on doing > that sort of thing.)
We could adjust our pre-push hook to prevent this.
