RFR: 1853: Make it possible to disable merge PRs for a repository [v3]

Zhao Song zsong at openjdk.org
Tue Apr 11 19:41:24 UTC 2023

On Tue, 11 Apr 2023 18:42:08 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> In this patch, PR bot has been added with the capability to control whether merge-style pr is allowed in specific repositories.
>> By default, merge-style pr is enabled.
>> However, if it is desired to disable merge-style pr in a repo, the configuration can be added to the PR bot configuration as follows:
>> {
>>   "pr": {
>>       "repositories": {
>>           "repo1": {
>>                "merge": false
>>           }
>>        }
>>   }
>> }
>> If merge-style pr is disabled and the title of the pr matches the pattern of merge-style pr, the pr bot would reply a warning message to the user and prompt for the next steps.
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>   fix a problem

Thanks for the review!


PR Comment: https://git.openjdk.org/skara/pull/1499#issuecomment-1503990432

More information about the skara-dev mailing list