> On Jul 22, 2020, at 11:53 AM, Gilles Sadowski <[email protected]> wrote: > > Le mer. 22 juil. 2020 à 17:45, Gary Gregory <[email protected] > <mailto:[email protected]>> a écrit : >> >> You can ignore those > > How can I ignore stuff that gets pushed into my mailbox? > Spammers could argue in the same way. > I've had to click on each of these automated messages to > delete them. IMHO, the consequences of new settings > should be tested on a _small_ scale, with a suggestion of > how to avoid the nuisance.
Tolerance maybe? -Rob > > Gilles > >> if you prefer to look at the GitHub PRs instead. >> That's what I do. >> >> Gary >> >> On Wed, Jul 22, 2020 at 11:20 AM Rob Tompkins <[email protected]> wrote: >> >>> I think that Gary tuerned on some github automation to help us stay up to >>> date with dependencies. >>> >>> -Rob >>> >>>> On Jul 22, 2020, at 10:43 AM, Gilles Sadowski <[email protected]> >>> wrote: >>>> >>>> Hello. >>>> >>>> What's this flood of emails about? >>>> >>>> Gilles >>>> >>>> Le mer. 22 juil. 2020 à 16:35, Rob Tompkins <[email protected]> a >>> écrit : >>>>> >>>>> I’m happy to merge them….will get to them by tomorrow morning ok? >>>>> >>>>> -Rob >>>> >>>> --------------------------------------------------------------------- >>>> To unsubscribe, e-mail: [email protected] >>>> For additional commands, e-mail: [email protected] >>>> >>> >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: [email protected] >>> For additional commands, e-mail: [email protected] >>> >>> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > <mailto:[email protected]> > For additional commands, e-mail: [email protected] > <mailto:[email protected]>
