I think it is a good idea, I can ask that the 'opened a new pull request' messages continue being sent to @dev, while the rest are sent to gitbox.
-Jesús On 2/28/19, 9:55 AM, "Alan Gates" <alanfga...@gmail.com> wrote: +1 to sending the github mail to a separate list. I agree with Peter that seeing PR reviews is good. Wouldn't it be possible to craft a filter that only allowed through these mails? Alan. On Thu, Feb 28, 2019 at 12:11 AM Peter Vary <pv...@cloudera.com.invalid> wrote: > The github mails in this form are just white noise, so I have added > filters to my mailbox to drop every github mail to another folder, just as > proposed by Jesús. So if we can do it by the infra it would be better. +1 > from me. > > On the other hand, I miss the "review request created" messages of the > review board. These type of messages are lost in the shower of the github > letters. If anyone has an idea how to detect these that would be awesome. > > Thanks, > Peter > > > On Feb 28, 2019, at 08:59, Mani M <rmsm...@gmail.com> wrote: > > > > Good. > > > > With Regards > > M.Mani > > +61 432 461 087 > > > > On Thu, 28 Feb 2019, 17:39 Jesus Camacho Rodriguez, < > > jcamachorodrig...@hortonworks.com> wrote: > > > >> We have had a similar discussion in the Calcite project too. > >> > >> Gitbox emails are being set to the dev@ list. These emails are produced > >> every time there is activity in the Hive Github repository and are > creating > >> quite a lot of noise. The result is that it is really difficult to > follow > >> any activity in the list. > >> > >> A possible alternative would be to send them to another list, e.g. > >> gitbox@h.a.o. The idea is that having them in a list may still be > useful > >> as they may serve as a searchable archive of activity in the repo. > >> > >> What do you think? Should we open an INFRA ticket to request this? > >> > >> Thanks, > >> Jesús > >> > >> > >