github notifications desirable?

Nicolas Sebrecht nicolas.s-dev at
Sat Nov 7 17:23:38 GMT 2015

  Hello everybody,

It's been some time now that I've configured github to relay the
notifications to this mailing list.

While I had no complaint, I wonder if this is something actually
desirable. This might tend to make too much flow and all notifications
are far from interesting.

Should we remove this mailing list to the github notifications?

Nicolas Sebrecht

More information about the OfflineIMAP-project mailing list