diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-02 10:11:21 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-02 10:11:21 (GMT) |
| commit | 190798c154b2db88f0e6bf41f27da283f0fab327 (patch) | |
| tree | 0c06a69640024dbf71596432fe45ee45eaca1fb7 /etc | |
| parent | 151a5ddb244143d69116a6fcd884c94cdefd70dd (diff) | |
| download | site-190798c154b2db88f0e6bf41f27da283f0fab327.tar.gz | |
procmailrc: Add a comment
Our procmailrc probably isn't immediately obvious.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/procmailrc | 3 |
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' |