[Rev 01] 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

The pull request has been updated with a new target base due to a merge or a rebase.

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

Commits:
 - 4bee7768: Merge remote-tracking branch 'origin/pr_empty_body' into pr_empty_body
 - d3cb9b42: Apply suggestions from code review
 - 2ed6681c: Merge remote-tracking branch 'upstream/master' into pr_empty_body
 - 3fbd064d: Disallow empty PR bodies

Changes: https://git.openjdk.java.net/skara/pull/445/files
 Webrev: https://webrevs.openjdk.java.net/skara/445/webrev.01
  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