https://lists.wikimedia.org/mailman/listinfo/mediawiki-core
This list is no longer used. I am the only remaining owner and I'd like to forget about it/remove it from my .listadmin.ini :)
Please do this: https://wikitech.wikimedia.org/wiki/Mailman#Disable_or_re-enable_a_mailing_list