To avoid triggering vacation autoresponders, it would be good citizenship to add the appropriate Precedence header to the notification emails Jenkins sends.