Integrated: 1852: Make it possible to disable backport PRs for repository
Zhao Song
zsong at openjdk.org
Tue May 2 22:37:07 UTC 2023
On Wed, 5 Apr 2023 22:49:23 GMT, Zhao Song <zsong at openjdk.org> wrote:
> In this patch, PR bot has been added with the capability to control whether backport pr is allowed in specific repositories.
>
> By default, backport is enabled.
>
> However, if it is desired to disable backport in a repo, the configuration can be added to the PR bot configuration as follows:
>
> {
> "pr": {
> "repositories": {
> "repo1": {
> "backport": false
> }
> }
> }
> }
>
>
> If backport pr is disabled and the title of the pr matches the pattern of backport pr, the pr bot would reply a warning message to the user and prompt for the next steps.
This pull request has now been integrated.
Changeset: 8096b491
Author: Zhao Song <zsong at openjdk.org>
URL: https://git.openjdk.org/skara/commit/8096b4914deaf6227da2b4a273cf750f8069624f
Stats: 84 lines in 6 files changed: 80 ins; 2 del; 2 mod
1852: Make it possible to disable backport PRs for repository
Reviewed-by: erikj
-------------
PR: https://git.openjdk.org/skara/pull/1497
More information about the skara-dev
mailing list