Le mer. 22 juil. 2020 à 17:45, Gary Gregory <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. 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 For additional commands, e-mail: dev-h...@commons.apache.org
