Integrated: 1855: Make it configurable which repositories merges should be allowed from
Zhao Song
zsong at openjdk.org
Tue Apr 18 17:08:40 UTC 2023
On Mon, 17 Apr 2023 21:29:24 GMT, Zhao Song <zsong at openjdk.org> wrote:
> In this patch, PR bot has been added with the capability to control which repositories can be the source for Merge-style pull requests.
>
> By default, all repositories are allowed.
>
> However, if it is desired to configure "allowed" repos, the configuration can be added to the PR bot configuration as follows:
>
> {
> "pr": {
> "repositories": {
> "repo1": {
> "mergeSources": [openjdk/repo2, openjdk/repo3]
> }
> }
> }
> }
>
>
> And the repo itself can always be the source of Merge-style pull requests.
This pull request has now been integrated.
Changeset: f6b42b21
Author: Zhao Song <zsong at openjdk.org>
URL: https://git.openjdk.org/skara/commit/f6b42b21afb6003a840d090553bb1f686094309d
Stats: 88 lines in 7 files changed: 83 ins; 0 del; 5 mod
1855: Make it configurable which repositories merges should be allowed from
Reviewed-by: erikj
-------------
PR: https://git.openjdk.org/skara/pull/1503
More information about the skara-dev
mailing list