[lojban] Re: Should I just shut mailman off? (lojban.org infra question)

[Robin Lee Powell <robinleepowell@gmail.com>]

[This didn't get sent to llg-board@lojban.org and
llg-members@lojban.org last time, so re-sending, sorry.]

I'm working very hard right now to stop being a bus-factor=1 Lojban
sysadmin (in case that makes no sense:
https://en.wikipedia.org/wiki/Bus_factor#Definition ).  I have been
*very* actively working on updating and containerizing all the
lojban.org infrastructure, with the end goal of making a series of
videos that would let anyone with a master password manage any of
the Lojban infrastructure I run, even in the event of my house
exploding.

A thing that is taking a surprising amount of effort is mailman,
which is the mailing list management software I run for y'all.  This
is used for the following lists:

Kabal
Lojban-fr
llg-board
Llg-members
Lojban-de
Lojban-es
Lojban-fr

Note that this does *not* include the two major public lists,
https://groups.google.com/g/bpfk-list and https://groups.google.com/g/lojban

The only ones that have had any significant traffic in a long time
are llg-board and llg-members.

None have received any traffic of consequence since 2019, and it
looks like the board and members stuff is now happening on
mattermost.

It would be *significantly* easier for me to just turn the whole
thing off, leaving read-only archives.

Having said that, I *do* have new mailman infrastructure working, so
I could leave it running.

What do people think the right move is here?

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/20210914041930.GF2313647%40gmail.com.