Unverified Commit 7c716c67 authored by Wolfgang Walther's avatar Wolfgang Walther Committed by GitHub
Browse files

labels: prevent labelling PRs to staging-next as backport (#404883)

parents f00200e7 b8ca313e

.github/labeler.yml

+2 −1
Original line number Diff line number Diff line
@@ -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":