I'm with Remi on this Biligual auto correct use. Read at your own risico Op 27 jan. 2016 5:15 PM schreef "Remi Bergsma" <rberg...@schubergphilis.com >:
> 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 >