diff options
| -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' |