RFR: 1422: Remove the need to type `JEP-` or `jep-` prefix in `jep` command
Guoxiong Li
gli at openjdk.java.net
Tue May 3 07:14:38 UTC 2022
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
-------------
Commit messages:
- 1422: Remove the need to type `JEP-` or `jep-` prefix in `jep` command
Changes: https://git.openjdk.java.net/skara/pull/1311/files
Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1311&range=00
Issue: https://bugs.openjdk.java.net/browse/SKARA-1422
Stats: 82 lines in 2 files changed: 58 ins; 10 del; 14 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
More information about the skara-dev
mailing list