Ah, I see. Thanks for clarifying.
> On Jul 24, 2018, at 6:43 PM, Gian Merlino wrote:
>
> There is a github feature to make multiple comments as a single "review",
> although from what I can see, gitbox splits those up into multiple emails
> anyway, so it doesn't help. I have poked Infra again
There is a github feature to make multiple comments as a single "review",
although from what I can see, gitbox splits those up into multiple emails
anyway, so it doesn't help. I have poked Infra again on our ticket:
https://issues.apache.org/jira/browse/INFRA-16674
On Tue, Jul 24, 2018 at 5:55 PM
I know there is an open request with INFRA to route git review comments to a
list other than dev. But until then, we are still getting a lot of messages on
the list each day. A lot of them come in groups, as a reviewer makes multiple
comments on a particular PR.
I believe git has a feature
