Envelope-to: lojban-list-archive@lojban.org
Delivery-date: Tue, 14 Sep 2021 08:01:22 -0700
Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of maikxlx@gmail.com designates 2607:f8b0:4864:20::633 as permitted sender) client-ip=2607:f8b0:4864:20::633;
MIME-Version: 1.0
References: <20210914014449.GE2313647@gmail.com>
In-Reply-To: <20210914014449.GE2313647@gmail.com>
From: "Mike S." <maikxlx@gmail.com>
Date: Tue, 14 Sep 2021 11:01:02 -0400
Message-ID: <CAOYwWb2XrjxDrr2QQ-x8U+WCKomyf9eLV4WRbWTxTsRA9hDQvA@mail.gmail.com>
Subject: Re: [lojban] Should I just shut mailman off? (lojban.org infra question)
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary="00000000000076e4dd05cbf5dae1"
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: --

--00000000000076e4dd05cbf5dae1
Content-Type: text/plain; charset="UTF-8"

On Mon, Sep 13, 2021 at 9:44 PM Robin Lee Powell <robinleepowell@gmail.com>
wrote:

>
> A thing that is taking a surprising amount of effort is mailman,
>
> [...]
>
> None have received any traffic of consequence since 2019,
>
> [...]
>
> It would be *significantly* easier for me to just turn the whole
> thing off, leaving read-only archives.
>

My two cents FWIW is to leave the main Google email list running, but to
turn off Mailman and make the archives available for posterity as you
mention.  No sense in continuing this extra complex unused thing exactly
when you are trying to organize and document how to maintain the
infrastructure.

(By the way, I wanted to say thank you for closing the Vlasisku whitespace
issue.)

mi'e .maik.
mu'o

-- 
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/CAOYwWb2XrjxDrr2QQ-x8U%2BWCKomyf9eLV4WRbWTxTsRA9hDQvA%40mail.gmail.com.

--00000000000076e4dd05cbf5dae1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div></div><div></div><br><div class=3D"gmail_quote"><div =
dir=3D"ltr" class=3D"gmail_attr">On Mon, Sep 13, 2021 at 9:44 PM Robin Lee =
Powell &lt;<a href=3D"mailto:robinleepowell@gmail.com" target=3D"_blank">ro=
binleepowell@gmail.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_q=
uote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,2=
04);padding-left:1ex"><br>
A thing that is taking a surprising amount of effort is mailman,<br><br>[..=
.]<br><br>None have received any traffic of consequence since 2019, <br><br=
>[...]<br><br>
It would be *significantly* easier for me to just turn the whole<br>
thing off, leaving read-only archives.<br></blockquote><div><br></div><div>=
My two cents FWIW is to leave the main Google email list running, but to tu=
rn off Mailman and make the archives available for posterity as you mention=
.=C2=A0 No sense in continuing this extra complex unused thing exactly when=
 you are trying to organize and document how to maintain the infrastructure=
.=C2=A0 <br></div><div><br></div><div></div><div>
(By the way, I wanted to say thank you for closing the Vlasisku whitespace =
issue.) <br></div><div><br></div><div>mi&#39;e .maik.</div><div>mu&#39;o</d=
iv><div><br></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/d/msgid/lojban/CAOYwWb2XrjxDrr2QQ-x8U%2BWCKomyf9eLV4WRbWTxTsRA9hDQvA%40m=
ail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google=
.com/d/msgid/lojban/CAOYwWb2XrjxDrr2QQ-x8U%2BWCKomyf9eLV4WRbWTxTsRA9hDQvA%4=
0mail.gmail.com</a>.<br />

--00000000000076e4dd05cbf5dae1--