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

@@ -1,4 +1,4 @@
-name: "Close stale issues and PRs"
+name: Stale bot
 on:
   schedule:
     - cron: "18 04 * * 3" 
@@ -11,13 +11,13 @@ jobs:
   stale:
     runs-on: ubuntu-latest
     steps:
-      - name: Close Stale Issues
+      - name: Close stale issues
         uses: actions/stale@v9
         with:
           repo-token: ${{ secrets.GITHUB_TOKEN }}
 
-          # DOCS https://github.com/actions/stale?tab=readme-ov-file#all-options
-          days-before-stale: 180 # ~6 months
+          # DOCS https://github.com/actions/stale#all-options
+          days-before-stale: 180
           days-before-close: 7
           stale-issue-label: "Stale"
           stale-issue-message: |