On 2016-08-31 18:58:31 + (+), Jeremy Stanley wrote:
> On 2016-08-31 17:59:43 +0100 (+0100), Matthew Booth wrote:
> > On Wed, Aug 31, 2016 at 5:31 PM, Jeremy Stanley wrote:
> [...]
> > > Also we have naming conventions for third-party CI accounts that
> > > suggest they
On Wed, Aug 31, 2016 at 11:58 AM, Jeremy Stanley wrote:
> No, as I understand it, since we set capability.emailReviewers="deny
> group Third-Party CI" in the global Gerrit configuration it should
> avoid sending E-mail for any of their comments.
>
On 2016-08-31 17:59:43 +0100 (+0100), Matthew Booth wrote:
> On Wed, Aug 31, 2016 at 5:31 PM, Jeremy Stanley wrote:
[...]
> > Also we have naming conventions for third-party CI accounts that
> > suggest they should end in " CI" so you could match on that.
>
> Yeah, all except
On Wed, Aug 31, 2016 at 5:31 PM, Jeremy Stanley wrote:
> On 2016-08-31 16:13:16 +0200 (+0200), Jordan Pittier wrote:
> > Most(all?) messages from CI have the lines:
> >
> > "Patch Set X:
> > Build (succeeded|failed)."
> >
> > Not super robust, but that's a start.
>
> Also we
On 2016-08-31 16:13:16 +0200 (+0200), Jordan Pittier wrote:
> Most(all?) messages from CI have the lines:
>
> "Patch Set X:
> Build (succeeded|failed)."
>
> Not super robust, but that's a start.
Also we have naming conventions for third-party CI accounts that
suggest they should end in " CI" so
On Wed, Aug 31, 2016 at 3:44 PM, Matthew Booth wrote:
>
> Is there anything I missed? Or is it possible to unsubscribe from gerrit
> mail from bots? Or is there any other good way to achieve what I'm looking
> for which doesn't involve maintaining my own bot list? If not, would
I've just (re-)written an email filter which splits gerrit emails into
those from CI and those from real people. In general I'm almost never
interested in botmail, but they comprise about 80% of gerrit email.
Having looked carefully through some gerrit emails from real people and
CIs, I