RFR: 666: Integrated message delivered to wrong thread

[Erik Helin]

On Wed, 3 Mar 2021 14:27:00 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> If the head of a closed PR was present in the target branch, we considered the PR as integrated. But that's not necessarily true as anything could be the PR head depending on what you push. Just skip that part of the code.

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/1043