RFR: 1855: Make it configurable which repositories merges should be allowed from

Zhao Song zsong at openjdk.org
Tue Apr 18 00:05:23 UTC 2023

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.


Commit messages:
 - fix a problem
 - add factory tests
 - SKARA-1855

Changes: https://git.openjdk.org/skara/pull/1503/files
 Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1503&range=00
  Issue: https://bugs.openjdk.org/browse/SKARA-1855
  Stats: 88 lines in 7 files changed: 83 ins; 0 del; 5 mod
  Patch: https://git.openjdk.org/skara/pull/1503.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1503/head:pull/1503

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

More information about the skara-dev mailing list