deploy github pages automatically

Author: spro

.github/workflows/update-about.yml

@@ -1,27 +1,35 @@
-# Stamp about.json on gh-pages with the time and commit of every push.
-# Runs for pushes to master and gh-pages; its own push (as github-actions[bot]
-# via GITHUB_TOKEN) does not re-trigger workflows, so it cannot loop.
-name: Update about.json
+# Publish the committed web assets and metadata to GitHub Pages.
+name: Deploy GitHub Pages
 
 on:
   push:
-    branches: [master, gh-pages]
+    branches: [master]
 
 concurrency:
-  group: update-about
+  group: deploy-github-pages
   cancel-in-progress: false
 
 jobs:
-  update-about:
+  deploy:
     runs-on: ubuntu-latest
     permissions:
       contents: write
     steps:
+      - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.sha }}
+          path: source
+
       - uses: actions/checkout@v4
         with:
           ref: gh-pages
+          path: pages
+
+      - name: Copy web assets
+        run: cp -R source/web/. pages/
 
       - name: Stamp about.json
+        working-directory: pages
         run: |
           node -e '
             const fs = require("fs")
@@ -32,11 +40,12 @@ jobs:
           '
 
       - name: Commit and push
+        working-directory: pages
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
-          git add about.json
+          git add --all
           git diff --cached --quiet || {
-            git commit -m "Stamp about.json for ${GITHUB_SHA::7}"
+            git commit -m "Deploy website for ${GITHUB_SHA::7}"
             git push
           }