Once the notifications mailing list is created, do we want all PingMyBox emails to be sent to it?
Or do we want PMB to continue to send to dev@, but drop the WARN level from its reporting and send our own e-mails to the notifications list for WARNings? I think we need to send e-mails anyway for the diffs.