RFR: 1419: The Skara PR bot should not block on a JEP if not enabled for a repo [v2]
Guoxiong Li
gli at openjdk.java.net
Tue May 3 13:40:09 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
Guoxiong Li has updated the pull request incrementally with two additional commits since the last revision:
- Fix comment of the csr command.
- Fix commment of the jep command and add a test case.
-------------
Changes:
- all: https://git.openjdk.java.net/skara/pull/1310/files
- new: https://git.openjdk.java.net/skara/pull/1310/files/e2386e47..b1dfc46d
Webrevs:
- full: https://webrevs.openjdk.java.net/?repo=skara&pr=1310&range=01
- incr: https://webrevs.openjdk.java.net/?repo=skara&pr=1310&range=00-01
Stats: 48 lines in 4 files changed: 45 ins; 0 del; 3 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