Envelope-to: lojban-list-archive@lojban.org
Delivery-date: Mon, 13 Sep 2021 21:19:36 -0700
Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of robinleepowell@gmail.com designates 2607:f8b0:4864:20::635 as permitted sender) client-ip=2607:f8b0:4864:20::635;
Date: Mon, 13 Sep 2021 21:19:30 -0700
From: Robin Lee Powell <robinleepowell@gmail.com>
To: llg-board@lojban.org, llg-members@lojban.org, lojban@lojban.org,
	president@lojban.org, vp@lojban.org, secretary@lojban.org,
	treasurer@lojban.org, la gleki <gleki.is.my.name@gmail.com>,
	lojban@googlegroups.com
Subject: [lojban] Re: Should I just shut mailman off? (lojban.org infra question)
Message-ID: <20210914041930.GF2313647@gmail.com>
References: <20210914014449.GE2313647@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
In-Reply-To: <20210914014449.GE2313647@gmail.com>
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.6
X-Spam_score_int: -25
X-Spam_bar: --

[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.