build: add labeler workflow for PRs (#10143)

Use labels to categorise release notes
This commit is contained in:
Jakob Borg
2025-05-29 10:04:08 +02:00
committed by GitHub
parent d940d094a1
commit 40660c5fb7
4 changed files with 76 additions and 1 deletions
+30
View File
@@ -0,0 +1,30 @@
name: PR metadata
on:
pull_request_target:
types:
- opened
- reopened
- edited
- synchronize
schedule:
- cron: "42 7 * * *"
permissions:
contents: read
issues: write
pull-requests: write
jobs:
#
# Set labels on PRs, which are then used to categorise release notes
#
labels:
name: Set labels
runs-on: ubuntu-latest
steps:
- uses: srvaroa/labeler@v1
env:
GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"