Re: Announcement: this mailing list will be retired by the end of Oct 2022

[Andrea Veri <av gnome org>]

As soon as the list has been archived (today, tomorrow) when a new email is sent to the old list it'll bounce back, yes, we can add an alias to the new location although I'm not a particular fan of landing aliases between lists living on different infrastructures as it gives the idea the list has never been retired and it's still alive although that is not true and that can confuse participants in the long run. It's important wiki pages and other references are updated to reflect this particular migration and former members are invited (which you did already) to participate on the new list.

On Wed, Nov 2, 2022 at 11:15 AM Thomas Haller <thaller redhat com> wrote:

On Wed, 2022-10-26 at 23:16 +0200, Andrea Veri wrote:

Hi Andrea,


It is done:
https://mail.gnome.org/archives/networkmanager-list/2022-November/msg00000.html

I think the old list can be shut down. What will happen when sending an
email to the old list? Will a bounce message be sent back? Can it link
to the new place?



> We can provide you the subscribers list if the decision you want to
> pursue is subscribing existing list members on the new hosting
> platform.

the list admin can see the subscribers at
https://mail.gnome.org/mailman/roster/networkmanager-list
That was all that's needed. Invitations are sent.



Thomas

--

Cheers,

Andrea

Principal Systems Engineer at Red Hat,

GNOME Infrastructure Team Coordinator,

Former GNOME Foundation Board of Directors Secretary,

GNOME Foundation Membership & Elections Committee Chairman

Homepage: https://www.dragonsreach.it