Integrated: prbot: Allow overriding jcheck configuration

[Robin Westberg]

On Mon, 31 Aug 2020 09:22:52 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that allows the pull request bot to use a jcheck configuration file from a separate
> repository, overriding the one (if any) present in the checked repository.
> Best regards,
> Robin

This pull request has now been integrated.

Changeset: e36b503e
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/e36b503e
Stats:     212 lines in 13 files changed: 10 ins; 180 del; 22 mod

prbot: Allow overriding jcheck configuration

Reviewed-by: ehelin

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

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