summaryrefslogtreecommitdiffstats
path: root/libexec/filter-github-emails
AgeCommit message (Collapse)AuthorFilesLines
2016-11-29Remove Procmail filter for plugins@ addressHolger Weiss1-300/+0
We no longer forward GitHub notifications to the mailing list.
2014-03-21filter-github-emails: Strip leading blank linesHolger Weiss1-2/+14
Email::MIME sometimes prepends an empty line when returning an email as string :-/
2014-03-02filter-github-emails: Don't create empty subjectHolger Weiss1-2/+2
This shouldn't happen in practice[tm], but if we receive the header line "Subject: [monitoring-plugins] ", then we won't touch it anymore.
2014-02-18filter-github-emails: Rewrap blockquotes properlyHolger Weiss1-1/+13
When wrapping a line that begins with a ">", let all resulting lines begin with a ">". (Properly handle nested blockquotes, too.)
2014-02-18filter-github-emails: Don't rewrap code blocksHolger Weiss1-1/+2
Don't wrap long lines in a code block.
2014-02-14filter-github-emails: Strip [monitoring-plugins]Holger Weiss1-0/+6
Now that we edit the GitHub notifications anyway, lets also strip the [monitoring-plugins] tag. We don't strip the tags of our other repositories, so that notifications for them do stand out (on the rare occasion we receive them).
2014-02-04filter-github-emails: Rewrap more carefullyHolger Weiss1-4/+16
Wrap individual lines instead of formatting whole paragraphs, so that lists such as * first item * second item aren't rewrapped.
2014-02-02filter-github-emails: Catch more status changesHolger Weiss1-0/+1
Also catch the case where an issue was closed in a commit message, e.g.: | Closed #123 via c5dc81cd28a9491115b4d13b959b0fc8e2df9a6c.
2014-02-02Filter GitHub notification emailsHolger Weiss1-0/+256
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.