RFR: 1422: Remove the need to type `JEP-` or `jep-` prefix in `jep` command [v3]

[Guoxiong Li]

> Hi all,
> 
> This patch permits the strange grammer like `/jep jEP-123` and removes the need of the `JEP-` or `jep-` prefix.
> When the prefix (`JDK-`, `JEP-` or others) is not provided, the bot treats it as a JEP ID firstly.
> If the issue is not found, the bot then treats it as an issue ID.
> 
> Thanks for taking the time to review.
> 
> Best Regards,
> -- Guoxiong

Guoxiong Li has updated the pull request incrementally with one additional commit since the last revision:

  Remove the message about JEP issue

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

Changes:
  - all: https://git.openjdk.java.net/skara/pull/1311/files
  - new: https://git.openjdk.java.net/skara/pull/1311/files/19bbf76c..e0b416ee

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=skara&pr=1311&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=skara&pr=1311&range=01-02

  Stats: 10 lines in 2 files changed: 0 ins; 8 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/1311.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/1311/head:pull/1311

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