Deploy to Grebedoc directly from GitHub Actions.

This avoids having to pull down the built website when fetching the git
repository, especially when done often on developer machines.

Author: miyukoc

.github/workflows/main.yaml

@@ -20,9 +20,7 @@ jobs:
         run: |
           npm ci
           npm run minify
-      - name: Deploy artifact
-        uses: JamesIves/github-pages-deploy-action@releases/v4
-        with:
-          folder: dist/
-          branch: pages
-          single-commit: true
+      - name: Upload website to Grebedoc
+        run: |
+          set -o pipefail
+          tar -C dist -c . | zstd -T0 -1 | curl https://webusb.glasgow-embedded.org/ -X PUT -H "Authorization: Pages ${{ secrets.GREBEDOC_TOKEN }}" -H "Content-Type: application/x-tar+zstd" -T -