github notifications desirable?

[Nicolas Sebrecht]

  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