> Not sure this is a bug, but...
>
> I got bugmail today from this bug saying that a patch (not mine; just a
bug I was cced on) didn't have any problems.  Can we consider having the
bot add bug noise only when there _is_ a problem?

Indeed this is problematic, and we're very sorry about this. We didn't
anticipate that "no defects" messages would be so noisy, but this does
outweigh the benefits of knowing that static analysis completed without
finding any issues.

We've already disabled this "no defects" comment, and are currently
deploying the fix to production, so the bot should stop sending them soon.

Apologies for the bugmail noise.

On Wed, Oct 4, 2017 at 4:16 PM, Boris Zbarsky <bzbar...@mit.edu> wrote:

> On 10/4/17 3:17 AM, Jan Keromnes wrote:
>
>> Please report any bugs with the bot here: https://bit.ly/2y9N9Vx
>>
>
> Not sure this is a bug, but...
>
> I got bugmail today from this bug saying that a patch (not mine; just a
> bug I was cced on) didn't have any problems.  Can we consider having the
> bot add bug noise only when there _is_ a problem?
>
> -Boris
>
> _______________________________________________
> dev-platform mailing list
> dev-platform@lists.mozilla.org
> https://lists.mozilla.org/listinfo/dev-platform
>
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to