Hi Leo, "Leo Famulari" <l...@famulari.name> writes:
> While the details are being handled, can we remove more people from > the Guix Savannah group? Or is the current membership already the > minimum possible? As I wrote back then, I left everyone who was marked as “admin” of the project. We can strip it further, but it’s important to keep several people as we still rely on it somewhat for mailing lists (and of course for repo maintenance, should it be needed.) So I would be tempted to keep things as they are. (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.) Ludo’.