From b8ca313e970eb1a07c905c50c91206db5afde718 Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Wed, 7 May 2025 12:21:34 +0200 Subject: [PATCH] labels: prevent labelling PRs to staging-next as backport --- .github/labeler.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/labeler.yml b/.github/labeler.yml index ef7483d6e20b..03d218711774 100644 --- a/.github/labeler.yml +++ b/.github/labeler.yml @@ -7,7 +7,8 @@ - any: - base-branch: - '^release-' - - '^staging-' + - '^staging-\d' + - '^staging-next-\d' # NOTE: bsd, darwin and cross-compilation labels are handled by ofborg "6.topic: agda":