Integrated: 1419: The Skara PR bot should not block on a JEP if not enabled for a repo

[Guoxiong Li]

On Tue, 3 May 2022 00:22:47 GMT, Guoxiong Li <gli at openjdk.org> wrote:

> 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

This pull request has now been integrated.

Changeset: 97f7f1a9
Author:    Guoxiong Li <gli at openjdk.org>
Committer: Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/97f7f1a995fc60a2a02e6bd3fa5f9804d2993de7
Stats:     74 lines in 8 files changed: 65 ins; 0 del; 9 mod

1419: The Skara PR bot should not block on a JEP if not enabled for a repo

Reviewed-by: erikj

-------------

PR: https://git.openjdk.java.net/skara/pull/1310