rust-timer bot re-executes command if the comment is edited

[pietroalbini]

If you post a comment with a command and edit it, the command is executed two times. It would be best to check the action when the GitHub webhook is received.

[Mark-Simulacrum]

This is semi-intentional (and harmless), since it means you can reduce noise by editing a past comment.

[pietroalbini]

Oh, ok.

[RalfJung]

AFAIK none of our other bots behave like this -- would it maybe make sense to make this bot consistent with bors and rustbot, and not react to edits?

This unexpected behavior just led to the bot spamming this a few times into my PR because I edited a comment: "This pull request is already queued and waiting for a try build to finish."

[Kobzol]

We have added some new bot messages to make some situations explicit errors rather than silent failures. In light of that, I indeed think it makes sense to re-evaluate and disable reacting to edits.

[Mark-Simulacrum]

Hm, I'm pretty sure rustbot/triagebot does react to edits, it just diffs the parsed commands so it won't rerun unless you edit that particular command. But the bot here is simple enough that it's probably easier to just disable...