Integrated: 1860: Make it possible to configure PR bot to jcheck all commits in "Merge PR"

[Zhao Song]

On Wed, 26 Apr 2023 20:19:16 GMT, Zhao Song <zsong at openjdk.org> wrote:

> In this patch, PR bot has been added with the capability to control whether jcheck every commit in a merge PR.
> 
> By default, jcheckMerge is enabled.
> 
> However, if it is desired to enable jcheckMerge in a repo, the configuration can be added to the PR bot configuration as follows:
> 
> {
>   "pr": {
>       "repositories": {
>           "repo1": {
>                "jcheckMerge": true
>           }
>        }
>   }
> }
> 
> If jcheckMerge is true, then the pr bot would jcheck all the commits in the merge PR and if any jcheck doesn't pass, the error message will be treated as Integration blocker.

This pull request has now been integrated.

Changeset: f704353b
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/f704353b9787eb2aa60ff642a89df17779f25cca
Stats:     222 lines in 9 files changed: 176 ins; 13 del; 33 mod

1860: Make it possible to configure PR bot to jcheck all commits in "Merge PR"

Reviewed-by: erikj

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

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