GitHub: add branch label action

(cherry picked from commit 5f35b3354369dd8cf610d15bdb3554fdc8bdb866)
2025-10-01 20:28:40 +02:00 · 2023-09-15 20:27:12 +02:00 · 2023-09-15 20:27:12 +02:00 · cf392690d3
commit cf392690d3
parent a6043c57ae
1 changed files with 20 additions and 0 deletions
--- a/.github/workflows/pull-request-labels.yml
+++ b/.github/workflows/pull-request-labels.yml
@ -0,0 +1,20 @@
+---
+name: Add pull request labels
+
+on:
+  pull_request_target:
+    branches:
+      - current
+      - crux
+      - equuleus
+      - sagitta
+
+jobs:
+  add-pr-label:
+    name: Add PR Labels
+    runs-on: ubuntu-20.04
+    permissions:
+      contents: read
+      pull-requests: write
+    steps:
+      - uses: actions/labeler@v5.0.0-alpha.1