RFR: 666: Integrated message delivered to wrong thread

Erik Helin ehelin at openjdk.java.net
Wed Mar 10 09:42:34 UTC 2021

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

More information about the skara-dev mailing list