Am Thu, Jun 05, 2025 at 01:59:21PM +0200 schrieb Ludovic Courtès: > (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.)
I simply switched my .git/config from savannah to codeberg, so I cannot accidentally push to savannah any more (supposedly it would be possible going through some contortions). We could possibly drop people who do not have admin passwords for mailing lists (I do, and occasionally moderate messages). Andreas
