ci: tweak pr title check and stale bot

.github/workflows/pr-title.yml

@@ -0,0 +1,39 @@
+name: PR title
+
+on:
+  pull_request_target:
+    types:
+      - opened
+      - edited
+      - synchronize
+      - reopened
+      - ready_for_review
+
+permissions:
+  pull-requests: read
+
+jobs:
+  semantic-pull-request:
+    name: Check PR title
+    runs-on: ubuntu-latest
+    steps:
+      - uses: amannn/action-semantic-pull-request@v5
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          requireScope: false
+          subjectPattern: ^(?![A-Z]).+$ # disallow title starting with capital
+          types: | # add `improv` to the list of allowed types
+            improv
+            fix
+            feat
+            refactor
+            build
+            ci
+            style
+            test
+            chore
+            perf
+            docs
+            break
+            revert

.github/workflows/stale-bot.yml

@@ -0,0 +1,27 @@
+name: Stale bot
+on:
+  schedule:
+    - cron: "18 04 * * 3" 
+
+permissions:
+  issues: write
+  pull-requests: write
+
+jobs:
+  stale:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Close stale issues
+        uses: actions/stale@v9
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+
+          # DOCS https://github.com/actions/stale#all-options
+          days-before-stale: 180
+          days-before-close: 7
+          stale-issue-label: "Stale"
+          stale-issue-message: |
+            This issue has been automatically marked as stale.
+            **If this issue is still affecting you, please leave any comment**, for example "bump", and it will be kept open.
+          close-issue-message: |
+            This issue has been closed due to inactivity, and will not be monitored.