I've found the mailing templates to *modify* what is sent, but no documented
way to completely suppress a specific mail.
If a template is removed, the default internal template is used. Possibly an
empty template results in an empty message to trigger this code:
if (body.length() == 0) {
// If we have no message body, don't send.
return false;
}
gerrit-server/src/main/java/com/google/gerrit/server/mail/OutgoingEmail.java
But the jenkins notifications are apparently only comments like any other
users', i.e. we'd need crafty filtering and such :/
Maybe I'll come back to this some other time... <disappointed>
~N