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: