Integrated: 1870: Make pr processing optional
Zhao Song
zsong at openjdk.org
Thu Apr 6 21:46:59 UTC 2023
On Thu, 6 Apr 2023 20:28:59 GMT, Zhao Song <zsong at openjdk.org> wrote:
> In this patch, PR bot has been added with the capability to disable PR processing and Commit processing.
>
> By default, PR processing and Commit processing are both enabled.
>
> However, if it is desired to disable PR processing or Commit processing in a repo, the configuration can be added to the PR bot configuration as follows:
>
> {
> "pr": {
> "repositories": {
> "repo1": {
> "processPR": false,
> "processCommit": false
> }
> }
> }
> }
This pull request has now been integrated.
Changeset: 7e84f785
Author: Zhao Song <zsong at openjdk.org>
URL: https://git.openjdk.org/skara/commit/7e84f7852996def88a17f87317b47ef6ae4e7498
Stats: 156 lines in 5 files changed: 145 ins; 1 del; 10 mod
1870: Make pr processing optional
Reviewed-by: erikj
-------------
PR: https://git.openjdk.org/skara/pull/1498
More information about the skara-dev
mailing list