Integrated: 1830: Support wildcard branch protection with prbranches

[Zhao Song]

On Mon, 20 Mar 2023 21:56:22 GMT, Zhao Song <zsong at openjdk.org> wrote:

> In this patch, notifyBot would add wildcard branch protection for the repo, and when the bot tries to delete the pr/* branch, it will temporarily remove wildcard branch protection.

This pull request has now been integrated.

Changeset: 8e974e45
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/8e974e45f0124a9e88b816e484f3516538b0e961
Stats:     31 lines in 3 files changed: 26 ins; 5 del; 0 mod

1830: Support wildcard branch protection with prbranches

Reviewed-by: erikj

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

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