Add PR labeling buttons in the PR template

ewjoachim · ewjoachim · commit 0d2ff89ec880 · 2024-01-14T16:42:43.000+01:00
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -7,3 +7,11 @@ Closes #<ticket number>
   - [ ] (not applicable?)
 - [ ] Documentation
   - [ ] (not applicable?)
+
+#### PR label(s): <!-- It's easier to fill those after submitting your PR -->
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20breaking%20%F0%9F%92%A5
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20feature%20%E2%AD%90%EF%B8%8F
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20bugfix%20%F0%9F%95%B5%EF%B8%8F
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20miscellaneous%20%F0%9F%91%BE
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20dependencies%20%F0%9F%A4%96
+  - [ ] https://github.com/procrastinate-org/procrastinate/labels/PR%20type%3A%20documentation%20%F0%9F%93%9A
diff --git a/.github/workflows/pr-labels.yml b/.github/workflows/pr-labels.yml
@@ -0,0 +1,40 @@
+name: Label PR
+
+on:
+  pull_request_target:
+    types:
+      - opened
+      - reopened
+      - edited
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+    steps:
+      - run: |
+          export LABELS=$(gh repo view $REPO --json="labels" --jq='.labels[].name | select(startswith(env.PREFIX))')
+          python <(cat <<EOF
+          import sys, os
+          from urllib.parse import quote
+          url = f"https://github.com/{os.environ['REPO']}/labels/"
+          labels = os.environ['LABELS'].strip().splitlines()
+          prefix = os.environ['PREFIX']
+          checked = "- [x] "
+          unchecked = "- [ ] "
+          for line in os.environ["BODY"].splitlines():
+            for label in labels:
+              if label.startswith(prefix) and line.strip().endswith(url + quote(label)):
+                if line.strip().startswith(checked):
+                  print(f"--add-label={label}")
+                elif line.strip().startswith(unchecked):
+                  print(f"--remove-label={label}")
+          EOF) | xargs -d '\n' gh pr --repo $REPO edit
+
+        env:
+          PREFIX: "PR type: "
+          REPO: procrastinate-org/procrastinate
+          BODY: ${{github.event.pull_request.body}}
+          NUMBER: ${{ github.event.pull_request.number }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
