diff options
Diffstat (limited to 'jenkins-home')
-rw-r--r-- | jenkins-home/procmailrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins-home/procmailrc b/jenkins-home/procmailrc new file mode 100644 index 00000000..2e60d090 --- /dev/null +++ b/jenkins-home/procmailrc @@ -0,0 +1,3 @@ +:0 +*From: jenkins@jenkins.debian.net +| /srv/jenkins/bin/email2irc.sh |