RFR: 1830: Support wildcard branch protection with prbranches [v2]

[Erik Joelsson]

On Mon, 20 Mar 2023 23:13:13 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.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   fix problems

Marked as reviewed by erikj (Lead).

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

PR Review: https://git.openjdk.org/skara/pull/1489#pullrequestreview-1350367942