It has been proposed that we move the mailing lists (there's three of
them - rdo-list, rdo-newsletter, and rdo-infra-list ) to @rdoproject.org
addresses, and, in the process, split rdo-list into dev@rdoproject.org
and users@rdoproject.org

The subscriber lists for newsletter and infra would simply be copied
over, since they are broadcast-only.

For the split from rdo-list to dev@ and users@, we would initially
simply copy the subscriber list to both of the new lists, and then
encourage people to unsubscribe from the one that they're not interested in.

The goal of the split is to make the users list more welcoming to
beginner/user type questions, while keeping the high technical level of
the existing dev list.

The goal of moving from @redhat.com is to reemphasize that this is not
just a Red Hat project, and encourage more participation from outside of
Red Hat.

There remains one important question holding up this migration, which is
what to do about the archives. We can:

1) Just leave them where they are now, and start fresh. This is easier,
but potentially "loses" history. (That is, it'll still be there, but
less obvious where to find it.)

2) Migrate all of the archives over to the new list. This is held up by
https://gitlab.com/mailman/hyperkitty/issues/144 which isn't getting a
lot of attention.

2.5) Migrate the archives and just be ok with losing some of the
messages? Doesn't seem ideal, but it's an option, and would get us
moving faster.