RFR: prbot: Allow overriding jcheck configuration

Mon Aug 31 09:31:47 UTC 2020

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

Looks good!

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

Marked as reviewed by ehelin (Reviewer).

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