Hello subscribers of wikimedia-search,
this list has been renamed to "discovery" as requested on https://phabricator.wikimedia.org/T110256
This is to let you know and test if everything worked at the same time.
You will see that the listinfo page https://lists.wikimedia.org/mailman/listinfo/wikimedia-search is also forwarded to the new name.
All config options and subscribers with their passwords have been imported from old list to new list. Archives have been regenerated from the .mbox file.
Best regards,
Daniel