Unverified Commit b8ca313e authored by Wolfgang Walther's avatar Wolfgang Walther
Browse files

labels: prevent labelling PRs to staging-next as backport

parent 2b6ed25f

.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":