RFR: 666: Integrated message delivered to wrong thread

[Robin Westberg]

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.

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

Commit messages:
 - Closed PR should not be considered as integrated

Changes: https://git.openjdk.java.net/skara/pull/1043/files
 Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1043&range=00
  Issue: https://bugs.openjdk.java.net/browse/SKARA-666
  Stats: 4 lines in 1 file changed: 0 ins; 4 del; 0 mod
  Patch: https://git.openjdk.java.net/skara/pull/1043.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/1043/head:pull/1043

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