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.

1 files changed, 0 insertions, 1 deletions

diff --git a/etc/forward b/etc/forward
deleted file mode 100644
index ece2155..0000000
--- a/etc/forward
+++ /dev/null
@@ -1 +0,0 @@
-admin@monitoring-plugins.org