diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-02 01:37:50 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-02-02 01:37:50 (GMT) |
commit | adad5fbdcaf4115b751c6caee3af401b33e2efdc (patch) | |
tree | 0092c4ad9785bb06ef707bec1fe29f8418bded15 /web/attachments/112577-check_smtp.c.patch.cvs.HEAD.20041215 | |
parent | 2027f7f887e2c0d29c05b80f5cf9b170ea88d802 (diff) | |
download | site-adad5fbdcaf4115b751c6caee3af401b33e2efdc.tar.gz |
Filter GitHub notification emails
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.
Diffstat (limited to 'web/attachments/112577-check_smtp.c.patch.cvs.HEAD.20041215')
0 files changed, 0 insertions, 0 deletions