<div dir="ltr">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.<br clear="all"><div><br></div><div>Having looked carefully through some gerrit emails from real people and CIs, I unfortunately can't find any features which distinguish the CI. Consequently my filter is just a big enumeration of current known CIs. This is kinda ugly, and will obviously get out of date.</div><div><br></div><div>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 it be feasible to add something?</div><div><br></div><div>Thanks,</div><div><br></div><div>Matt</div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><span style="font-size:12.8px">Matthew Booth</span><br></div><div>Red Hat Engineering, Virtualisation Team</div><div><br></div><div>Phone: +442070094448 (UK)</div><div><br></div></div></div></div></div>
</div>