Here's what I'm deploying to r-rmcgibbo right now. 1. I will put NinjaTrappeur on a "block list", which means that the bot won't comment on PRs that you have opened unless there's a build failure. 2. I will add another condition that says "If the PR only triggered 1 build, the build was successful, and there are no nixpkgs-hammer suggestions, do not post a github comment". (There's already a condition that's similar but requires ofborg to have already built the package, which yes is obviously a race) Both 1 and 2, once deployed, will prevent it from commenting on issues like 114489