[Integrated] RFR: 275: PR bot should allows merge-style PRs with only branch names

[Robin Westberg]

Changeset: 64bc771a
Author:    Robin Westberg <rwestberg at openjdk.org>
Date:      2020-02-17 16:00:49 +0000
URL:       https://git.openjdk.java.net/skara/commit/64bc771a

275: PR bot should allows merge-style PRs with only branch names

Reviewed-by: ehelin

! bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java
! bots/pr/src/test/java/org/openjdk/skara/bots/pr/MergeTests.java