[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