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

Erik Joelsson erikj at openjdk.java.net
Wed May 4 13:30:09 UTC 2022

On Wed, 4 May 2022 05:32:34 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
> Guoxiong Li has updated the pull request incrementally with one additional commit since the last revision:
>   Remove the message about JEP issue

Marked as reviewed by erikj (Lead).


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

More information about the skara-dev mailing list