> On Jul 22, 2020, at 11:53 AM, Gilles Sadowski <gillese...@gmail.com> wrote: > > Le mer. 22 juil. 2020 à 17:45, Gary Gregory <garydgreg...@gmail.com > <mailto:garydgreg...@gmail.com>> 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 <chtom...@gmail.com> 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 <gillese...@gmail.com> >>> wrote: >>>> >>>> Hello. >>>> >>>> What's this flood of emails about? >>>> >>>> Gilles >>>> >>>> Le mer. 22 juil. 2020 à 16:35, Rob Tompkins <chtom...@gmail.com> a >>> écrit : >>>>> >>>>> I’m happy to merge them….will get to them by tomorrow morning ok? >>>>> >>>>> -Rob >>>> >>>> --------------------------------------------------------------------- >>>> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org >>>> For additional commands, e-mail: dev-h...@commons.apache.org >>>> >>> >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org >>> For additional commands, e-mail: dev-h...@commons.apache.org >>> >>> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org > <mailto:dev-unsubscr...@commons.apache.org> > For additional commands, e-mail: dev-h...@commons.apache.org > <mailto:dev-h...@commons.apache.org>
