I say we keep the notifications. GitHub is about development and this is the dev list, right? It really helps keeping track of what is going on. It's way faster than clicking all PRs in GitHub IMHO.
Any email client since the 1990s can do mail filtering so if it's too much, simply filter it to another folder. Regards, Remi Sent from my iPhone > On 27 Jan 2016, at 16:00, sebgoa <run...@gmail.com> wrote: > > 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
