RFR: 1419: The Skara PR bot should not block on a JEP if not enabled for a repo
Guoxiong Li
gli at openjdk.java.net
Tue May 3 00:26:48 UTC 2022
Hi all,
If a repository doesn't support JEP and someone issues the `/jep` command in the PR of this repo, the bot should replies a comment instead of blocking the PR. This patch adds a jep config to the PR bot and adjusts the test cases.
Thanks for taking the time to review.
Best Regards,
-- Guoxiong
-------------
Commit messages:
- 1419: The Skara PR bot should not block on a JEP if not enabled for a repo
Changes: https://git.openjdk.java.net/skara/pull/1310/files
Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1310&range=00
Issue: https://bugs.openjdk.java.net/browse/SKARA-1419
Stats: 27 lines in 6 files changed: 20 ins; 0 del; 7 mod
Patch: https://git.openjdk.java.net/skara/pull/1310.diff
Fetch: git fetch https://git.openjdk.java.net/skara pull/1310/head:pull/1310
PR: https://git.openjdk.java.net/skara/pull/1310
More information about the skara-dev
mailing list