Yeah, I'm seeing a lot of output from this and am going through the log to verify we indeed didn't undertake any action. Would be great to audit this automatically, but hey -- this is a side thing ;-)

Can you think of a reason not to do this on principle? Assuming github includes updates to commit statuses in here, should be golden.

Concretely, if these are reflected in the PR's updated_at:

  - new commit
  - new PR comment
  - change to status for commit