Workflow for redirects check

.github/workflows/check-redirects.yml

@@ -0,0 +1,17 @@
+name: Check redirects
+on: push
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+      - name: Build documentation
+        run: jekyll build --check-redirects
+      - name: Check redirects
+        run: |
+          if [ $? -ne 0 ]; then
+            echo "Missing redirects"
+            exit 1
+          fi

_config.yml

@@ -63,6 +63,7 @@ commonmark:
 plugins:
   - jekyll-last-modified-at
   - jekyll-include-cache
+  - jekyll-redirect-from
 
 # filter used to process markdown. note that kramdown differs from github-flavored markdown in some subtle ways