summaryrefslogtreecommitdiffstats
path: root/etc/procmailrc
AgeCommit message (Collapse)AuthorFilesLines
2016-11-29Remove Procmail filter for plugins@ addressHolger Weiss1-38/+0
We no longer forward GitHub notifications to the mailing list.
2014-03-02procmailrc: Create a "backup" folderHolger Weiss1-0/+4
Save the original emails into a "backup" folder.
2014-02-03procmailrc: Reduce number of formail(1) callsHolger Weiss1-27/+15
Reduce the number of formail(1) calls, and make things a bit more readable.
2014-02-02procmailrc: Add a commentHolger Weiss1-0/+3
Our procmailrc probably isn't immediately obvious.
2014-02-02procmailrc: Add X-Original-From to all emailsHolger Weiss1-4/+5
Add an X-Original-From to all emails touched by procmail(1). All emails are forwarded (as long as there's no loop), so that header line might always be interesting.
2014-02-02Filter GitHub notification emailsHolger Weiss1-0/+42
Have GitHub send notifications to plugins+github@, and try to distinguish actual user comments from mere status change reports. Right now, both types of notifications are forwarded to the devel@ list, but in the future, we could choose to omit the status change emails. While at it, the messages are also modified to make them more suitable for being forwarded to a mailing list.