RFR: 1870: Make pr processing optional

[Erik Joelsson]

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
>           }
>        }
>   }
> }

Marked as reviewed by erikj (Lead).

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

PR Review: https://git.openjdk.org/skara/pull/1498#pullrequestreview-1375598870