[Savannah-hackers-public] nongnu-to-gnu mailing list

[Karl Berry]

The list address@hidden should also accept mail @gnu.org.
(It's an official GNU package.)
Looking at https://savannah.gnu.org/maintenance/ListServer, I did:

withlist -l -r fix_url bug-gnupod -u lists.gnu.org
go bug-gnupod
cd domains
touch gnu.org

But mail to address@hidden still bounced with the usual
550 5.1.1 address@hidden User unknown

What am I forgetting?  Or is there some cron job that has to run?

It did immediately change the url for the web interface, ie,
http://lists.nongnu.org/mailman/admin/bug-gnupod
vs. http://lists.gnu.org.

Thanks,
Karl