ci(pre-commit): Ignore commit title length in gitlint config, validat…

…e in PR title instead

.github/workflows/lint-pr.yaml

@@ -6,6 +6,13 @@ on:
       - opened
       - edited
       - synchronize
+      - reopened
+  pull_request:
+    types:
+      - opened
+      - edited
+      - synchronize
+      - reopened
 
 jobs:
   main:
@@ -15,3 +22,8 @@ jobs:
       - uses: amannn/action-semantic-pull-request@v4
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - uses: deepakputhraya/action-pr-title@master
+        with:
+          max_length: 72 # Max length of PR title
+          github_token: ${{ secrets.GITHUB_TOKEN }}

.gitlint

@@ -1,3 +1,5 @@
 [general]
 contrib=contrib-title-conventional-commits
 ignore=body-is-missing
+# Ignore long titles, since they will be squashed.
+ignore=title-max-length