Update: I’ve claimed [email protected]. If we ever want to make that
transition, I can transfer ownership to whoever currently manages the mailing
lists (or someone we agree on).
> On Aug 14, 2015, at 6:25 PM, Gaelan Steele <[email protected]> wrote:
>
> I’m thinking maybe we should migrate to Google Groups at some point, because
> GG is quite unlikely to go down, and even if it gets Reader’d, they will
> almost certainly provide a data download. Groups also has a nicer UI than
> Mailman/The List Archive.
>> On Aug 14, 2015, at 6:17 PM, omd <[email protected]> wrote:
>>
>> On Fri, Aug 14, 2015 at 8:53 PM, omd <[email protected]> wrote:
>>> scshunt mentioned once or twice on IRC recently that the yoyo backup
>>> list is not functioning.
>>
>> Incidentally, while tue works, its archive page is execrably designed,
>> and the mbox download link is broken (returns an empty file):
>>
>> http://listserver.tue.nl/mailman/private/agora/private
>>
>> Oh well - I was at least able to mass download the header-less
>> versions just now.
>
