You can ignore those 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] > >
