Remove Procmail filter for plugins@ address

We no longer forward GitHub notifications to the mailing list.

1 files changed, 0 insertions, 38 deletions

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 <plugins+github@monitoring-plugins.org>.
-        :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: