> 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