misc: Add check for PR names (#181)

Author: tachikoma-li

.github/workflows/check-pr-format.yml

@@ -0,0 +1,22 @@
+name: Check PR format workflow
+
+on:
+  pull_request:
+    types: [opened, reopened, edited]
+    branches: [master]
+
+jobs:
+  gitlint:
+    # Filter out Draft Pull Requests
+    if: github.event.pull_request.draft == false
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - name: Set up Python 3.7
+      uses: actions/setup-python@v1
+      with:
+        python-version: 3.7
+    - name: Install dependencies
+      run: python -m pip install gitlint==0.15.0
+    - name: Run Gitlint
+      run: python -c "import json; print(json.load(open('$GITHUB_EVENT_PATH'))['pull_request']['title'])" | gitlint

.gitlint

@@ -0,0 +1,9 @@
+[general]
+contrib=contrib-title-conventional-commits
+
+# In the CI workflow, gitlint only checks the title of the commits, so errors
+# for missing the body of the commits are ignored.
+ignore=body-is-missing
+
+[contrib-title-conventional-commits]
+types=feat,fix,misc