I agree, there's a lot of GitHub "noise" on the dev list. +1
On Mon, Jun 27, 2016 at 5:58 PM Joe Witt <[email protected]> wrote: > Am on phone but the ones I see go to [email protected] > > Which ones are you referring to? > > Thanks > Joe > On Jun 27, 2016 11:45 AM, "Andy LoPresto" <[email protected]> wrote: > > > +1. > > > > Andy LoPresto > > [email protected] > > *[email protected] <[email protected]>* > > PGP Fingerprint: 70EC B3E5 98A6 5A3F D3C4 BACE 3C6E F65B 2F7D EF69 > > > > On Jun 27, 2016, at 12:31 AM, Lars Francke <[email protected]> > wrote: > > > > Hi everyone, > > > > there's lots of mails from the Github integration in the dev@ mailing > > list. > > It's getting pretty overwhelming. Yes I've created a filter but everyone > > would need to do that. Other projects have opted to move these kind of > > things to a "issues" mailing list. > > > > What do you think about that? > > > > Cheers, > > Lars > > > > > > >
