Integrated: 2115: More flexible merge PR review configuration

[Erik Duveblad]

On Wed, 6 Dec 2023 10:35:18 GMT, Erik Duveblad <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that enables a bit more flexible configuration for checking merge pull requests. Today we can configure that a merge pull requests always should be checked and if that isn't configured then the `.jcheck/conf` from the repository is used. If we ever want to set `merge=check` in the `.jcheck/conf` file in repos then we will need a way to _disable_ running jcheck on merge pull requests (for example for projects using merge pull requests to sync in commits).
> 
> This patch makes it possible to configure that merge pull requests should either always be checked, never be checked or checked according to `.jcheck/conf` in the repo.
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 0cde90ea
Author:    Erik Duveblad <ehelin at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/0cde90eaacf3dc4152c8bd3a08fa31e5af9dedba
Stats:     67 lines in 11 files changed: 47 ins; 0 del; 20 mod

2115: More flexible merge PR review configuration

Reviewed-by: erikj

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

PR: https://git.openjdk.org/skara/pull/1592