disable github notifications ?

[sebgoa]

Hi folks,

Shall we disable github notifications to dev@ ?

It has become quite noisy.

On the other end you see all the comments fly by...

-sebastien