summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-02-02 10:11:21 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-02-02 10:11:21 (GMT)
commit190798c154b2db88f0e6bf41f27da283f0fab327 (patch)
tree0c06a69640024dbf71596432fe45ee45eaca1fb7
parent151a5ddb244143d69116a6fcd884c94cdefd70dd (diff)
downloadsite-190798c154b2db88f0e6bf41f27da283f0fab327.tar.gz
procmailrc: Add a comment
Our procmailrc probably isn't immediately obvious.
-rw-r--r--etc/procmailrc3
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/procmailrc b/etc/procmailrc
index c587f7f..5ffeba8 100644
--- a/etc/procmailrc
+++ b/etc/procmailrc
@@ -19,6 +19,9 @@ EXTENSION = $1
19 :0 fw 19 :0 fw
20 | $GITHUB_FILTER 20 | $GITHUB_FILTER
21 21
22 #
23 # Forward the email only if $GITHUB_FILTER rewrote the To: header.
24 #
22 :0 fhw 25 :0 fhw
23 * ^To:(.*[^-a-zA-Z0-9_.])?devel@monitoring-plugins\.org 26 * ^To:(.*[^-a-zA-Z0-9_.])?devel@monitoring-plugins\.org
24 | formail -A 'X-Loop: plugins@monitoring-plugins.org' 27 | formail -A 'X-Loop: plugins@monitoring-plugins.org'