[Investigation] Add JEP check to the PR

Guoxiong Li lgxbslgx at gmail.com
Fri Apr 29 23:42:40 UTC 2022

> People most commonly refer to JEPs by JEP numbers rather than JBS issue
> numbers.  I’d therefore expect to be able to type `/jep 123` rather than
> have to remember to type `/jep JEP-123`, especially since the `JEP-123`
> notation isn’t used in any other context.
> Can you please remove the need to type the `JEP-` prefix?

Thanks for the suggestion.
I filed https://bugs.openjdk.java.net/browse/SKARA-1422 to follow up.

Best Regards,
-- Guoxiong

More information about the skara-dev mailing list