Age | Commit message (Collapse) | Author | Files | Lines |
|
We no longer forward GitHub notifications to the mailing list.
|
|
Save the original emails into a "backup" folder.
|
|
Reduce the number of formail(1) calls, and make things a bit more
readable.
|
|
Our procmailrc probably isn't immediately obvious.
|
|
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.
|
|
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.
|