summaryrefslogtreecommitdiffstats
path: root/web/attachments/217297-check_procs
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-02-02 01:37:50 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-02-02 01:37:50 (GMT)
commitadad5fbdcaf4115b751c6caee3af401b33e2efdc (patch)
tree0092c4ad9785bb06ef707bec1fe29f8418bded15 /web/attachments/217297-check_procs
parent2027f7f887e2c0d29c05b80f5cf9b170ea88d802 (diff)
downloadsite-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/217297-check_procs')
0 files changed, 0 insertions, 0 deletions