site/libexec/filter-github-emails, branch master Web Site and Infrastructure https://www.monitoring-plugins.org/repositories/site/atom?h=master 2016-11-29T17:27:11Z Remove Procmail filter for plugins@ address 2016-11-29T17:27:11Z Holger Weiss holger@zedat.fu-berlin.de 2016-11-29T17:27:11Z urn:sha1:b92a28a5fe38436fecd20b32b2ba1e68521f6430 We no longer forward GitHub notifications to the mailing list. filter-github-emails: Strip leading blank lines 2014-03-21T10:04:56Z Holger Weiss holger@zedat.fu-berlin.de 2014-03-21T10:04:56Z urn:sha1:ef0333f5da300072a87d6572443e67dcea2c6da7 Email::MIME sometimes prepends an empty line when returning an email as string :-/ filter-github-emails: Don't create empty subject 2014-03-02T12:21:43Z Holger Weiss holger@zedat.fu-berlin.de 2014-03-02T12:21:43Z urn:sha1:232680a8beeb6a3af38259b4e4467a34971356cf This shouldn't happen in practice[tm], but if we receive the header line "Subject: [monitoring-plugins] ", then we won't touch it anymore. filter-github-emails: Rewrap blockquotes properly 2014-02-18T22:04:28Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-18T22:04:28Z urn:sha1:309e885a592a8d2d21b2b7ae5c1a28c5c89ce1fc When wrapping a line that begins with a ">", let all resulting lines begin with a ">". (Properly handle nested blockquotes, too.) filter-github-emails: Don't rewrap code blocks 2014-02-18T21:45:40Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-18T21:45:40Z urn:sha1:dd86a25716364718cbac4b9ea4ee19415408eb77 Don't wrap long lines in a code block. filter-github-emails: Strip [monitoring-plugins] 2014-02-14T11:18:14Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-14T11:18:14Z urn:sha1:aca7c02fc88bf5957ea3c8dcafe950fd3dac0f91 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). filter-github-emails: Rewrap more carefully 2014-02-04T13:13:36Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-04T13:13:36Z urn:sha1:f487fd80dbc8b15c9a7072abd0c167ac58675bcc Wrap individual lines instead of formatting whole paragraphs, so that lists such as * first item * second item aren't rewrapped. filter-github-emails: Catch more status changes 2014-02-02T15:57:59Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-02T15:57:59Z urn:sha1:a19675bb16808f4d17d910e0acf18c1fd5e1f58d Also catch the case where an issue was closed in a commit message, e.g.: | Closed #123 via c5dc81cd28a9491115b4d13b959b0fc8e2df9a6c. Filter GitHub notification emails 2014-02-02T01:37:50Z Holger Weiss holger@zedat.fu-berlin.de 2014-02-02T01:37:50Z urn:sha1:adad5fbdcaf4115b751c6caee3af401b33e2efdc 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.