[Integrated] RFR: 273: PR bot should check for empty pull request body

[Robin Westberg]

Changeset: 6632a9f1
Author:    Robin Westberg <rwestberg at openjdk.org>
Date:      2020-02-18 15:16:54 +0000
URL:       https://git.openjdk.java.net/skara/commit/6632a9f1

273: PR bot should check for empty pull request body

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/CheckTests.java
! test/src/main/java/org/openjdk/skara/test/HostCredentials.java