Merge pull request #91 from adriadam10/ci-area-labels

ci: label pull requests by area

.github/workflows/area-labels.yml

@@ -0,0 +1,29 @@
+name: Area labels
+
+on:
+  schedule:
+    - cron: '30 * * * *'
+  workflow_dispatch:
+
+permissions: {}
+
+jobs:
+  label:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: write
+    steps:
+      - id: prs
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          {
+            echo 'numbers<<EOF'
+            gh pr list -R "$GITHUB_REPOSITORY" --base "${{ github.event.repository.default_branch }}" -L 200 --json number --jq '.[].number'
+            echo EOF
+          } >> "$GITHUB_OUTPUT"
+      - if: steps.prs.outputs.numbers != ''
+        uses: actions/labeler@v7
+        with:
+          pr-number: ${{ steps.prs.outputs.numbers }}