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