Last modified: 2014-06-24 10:10:09 UTC
The last email I received from mediawiki-commits is from 2014-06-23 15.17 UTC. From SAL: 16:33 paravoid: switched inbound mail for all non-wikimedia.org domains from mchenry/sodium to polonium/mchenry (~16:00 + <= 1h TTL UTC)
Confirmed.
It's not mailing list only; last email I received from gerrit was at Date: Mon, 23 Jun 2014 15:05:38 +0000
I forgot to link this bug in the corresponding commit https://gerrit.wikimedia.org/r/141665 .
Above commit got merged. Thanks _joe_! Gerrit is sending emails again.