Do we plan to put some other email address for notifications? If we're close to switching from Jenkins to Travis, we should consider it ...