Integrated: 1422: Remove the need to type `JEP-` or `jep-` prefix in `jep` command

[Guoxiong Li]

On Tue, 3 May 2022 07:10:44 GMT, Guoxiong Li <gli at openjdk.org> wrote:

> 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

This pull request has now been integrated.

Changeset: a7492a5f
Author:    Guoxiong Li <gli at openjdk.org>
Committer: Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/a7492a5f909949729703ffb17dc3ad99f380e1b8
Stats:     91 lines in 2 files changed: 54 ins; 11 del; 26 mod

1422: Remove the need to type `JEP-` or `jep-` prefix in `jep` command

Reviewed-by: erikj

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

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