Github workflow to automatically deploy docs

Author: xavierfoucrier

.github/workflows/deploy-docs.yml

@@ -0,0 +1,30 @@
+# Github workflow to deploy the documentation to Github Pages
+
+name: Deploy docs
+
+on:
+  push:
+    branches:
+      - source
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-node@v1
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Build docs bundle
+        run: npm run build
+
+      - name: Commit changes
+        uses: EndBug/add-and-commit@master
+        with:
+          branch: "master"
+          add: "docs/.vuepress/dist"
+          message: "Deploy docs"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}