Right now the bot looks for the latest commit in a PR, but it should refer to the commit that the build was kicked off for.
It seems like there’s a commit
field in the Jenkins push event body, so that should be pretty simple to do, I just don’t really know how to test this?