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.

0 files changed, 0 insertions, 0 deletions