"Leo Famulari" <l...@famulari.name> writes: > 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.
Oh that’s right, that’s an easy change we can make. Ludo’.
