I think you can setup a filter in gmail and attach a label + skip the inbox for the github notifications to the mailing list.
Example of gmail filter: from:([email protected]) to:([email protected],) Send to Pulsar/Git folder -- Matteo Merli <[email protected]> On Thu, Jun 29, 2017 at 5:16 PM, Sahaya Andrews <[email protected]> wrote: > I and probably the rest of us gets email notification from GitHub as > well as from our dev mailing list for every commit/comment. Is there a > way to avoid such duplicate and get one notification instead? The > GitHub notification seems to be more readable. > > Andrews. >
