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

[Zhao Song]

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

Thanks for the review!

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

PR Comment: https://git.openjdk.org/skara/pull/1489#issuecomment-1477813897