As far as the bot is being run not only for issues awaiting integration, but also for issues under peer review and/or requested by developers, there are some small details to improve with the comments sent to the tracker:

1) Specify the reason (criteria) that caused the issue to be pre-checked (dev. request, awaiting peer review, awaiting integration..).

2) Get rid of the "integrate" uses and replace them for some verify/check/test alternative.

3) Point to the "wip" nature of the checks, warning about false-positives and some issue to report them (and any other idea).

Basically make it more human-readable. Ciao