Integrated: 1830: Support wildcard branch protection with prbranches
Zhao Song
zsong at openjdk.org
Tue Mar 21 13:14:27 UTC 2023
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
More information about the skara-dev
mailing list