Integrated: 666: Integrated message delivered to wrong thread
rwestberg at openjdk.java.net
Wed Mar 10 10:25:48 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.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 4 lines in 1 file changed: 0 ins; 4 del; 0 mod
666: Integrated message delivered to wrong thread
More information about the skara-dev