From b92a28a5fe38436fecd20b32b2ba1e68521f6430 Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Tue, 29 Nov 2016 18:27:11 +0100 Subject: Remove Procmail filter for plugins@ address We no longer forward GitHub notifications to the mailing list. --- etc/procmailrc | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 etc/procmailrc (limited to 'etc') diff --git a/etc/procmailrc b/etc/procmailrc deleted file mode 100644 index 7c7ecbd..0000000 --- a/etc/procmailrc +++ /dev/null @@ -1,38 +0,0 @@ -SHELL = /bin/sh -PATH = /usr/bin:/bin -MAILDIR = $HOME/mail -LOGFILE = $HOME/log/procmail.log -GITHUB_FILTER = $HOME/libexec/filter-github-emails -DEFAULT_RECIPIENT = admin@monitoring-plugins.org -EXTENSION = $1 - -:0 c: -backup - -:0 -* ! ^X-Loop: plugins@monitoring-plugins\.org -{ - :0 fhw - * ^From \/[^ ]+ - | formail -A 'X-Loop: plugins@monitoring-plugins.org' \ - -A "X-Original-From: $MATCH" - - # Handle emails sent to . - :0 - * EXTENSION ?? ^^github^^ - { - :0 fw - | $GITHUB_FILTER - - # Forward only if $GITHUB_FILTER rewrote the To: header. - :0 - * ^To:.*\/devel@monitoring-plugins\.org - ! $MATCH - } - - # Handle emails that shouldn't be forwarded to the list. - :0 - ! $DEFAULT_RECIPIENT -} - -# vim:set filetype=procmail: -- cgit v1.2.3-74-g34f1