CI: Check PR titles using commitlint (#31)

Author: adrien-berchet

.github/workflows/commitlint.yml

@@ -0,0 +1,19 @@
+name: Check PR titles using commitlint
+
+on:
+  pull_request:
+    types: [edited, opened, reopened, synchronize]
+
+jobs:
+  check-pr-title:
+    name: Check PR title
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - uses: actions/setup-node@v2
+        with:
+          node-version: '14'
+      - run: npm install -g --force commitlint @commitlint/cli commitlint-plugin-cleanfeet
+      - run: npm install conventional-changelog-conventionalcommits
+      - run: touch .git/COMMIT_EDITMSG
+      - run: echo ${{ github.event.pull_request.title }} | commitlint