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

[Robin Westberg]

Hi all,

Please review this change that makes empty PR bodies fail jcheck, in order to improve the mailing list bridge experience.

Best regards,
Robin

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

Commits:
 - 3fbd064d: Disallow empty PR bodies

Changes: https://git.openjdk.java.net/skara/pull/445/files
 Webrev: https://webrevs.openjdk.java.net/skara/445/webrev.00
  Issue: https://bugs.openjdk.java.net/browse/SKARA-273
  Stats: 67 lines in 3 files changed: 63 ins; 2 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/445.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/445/head:pull/445

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