GitHub notifications

Holger Weiß holger at
Sun Feb 2 14:20:17 CET 2014

* Jochen Bern <Jochen.Bern at> [2014-01-31 15:49]:
> On 30.01.2014 22:58, Holger Weiß wrote:
> >   [ 1/2 ] Please continue to forward all notifications to this list.
> >   [ 1/2 ] Please filter out status changes, but forward actual comments.
> >   [ ] Please don't forward any GitHub notifications!
> >   [ ] I don't care.
> I'm a bit torn on the issue. In the best possible world, there should be
> a "devel" list for everyone having an interest in where development of
> the plugin goes (which would ask for publication of at least *some* of
> the comments), while the actual guardians of the official
> versions/commits would have a "maintainers" list for themselves. But
> that latter isn't (yet?) in existence for the monitoring-plugins
> project, is it?

True, but it could be created if it made sense, of course.  However, if
this was about the maintainers, they could subscribe to the GitHub
notifications individually and be done with it.¹  The question is really
just whether the discussions (and status changes) on GitHub are also
interesting to others besides the actual maintainers.  If so, we'd like
to involve those people; and for them, it might be a feature having just
a single place for (un)subscribing, a single filter rule to maintain,
and so on.  At least that's how I'd feel when subscribing to other
project's development lists.


¹ I'll do just that if we switch to filtering out status changes.

More information about the Devel mailing list