use a github action to deploy docs, instead of commiting files (#361)

Author: bakkot

.gitattributes

@@ -16,15 +16,14 @@ jobs:
 
       - name: Setup node
         uses: actions/setup-node@v2
+        with:
+          node-version: '16'
 
       - name: Install dependencies
         run: npm ci
 
       - name: Build
-        run: npm run build && npm run build-spec
-
-      - name: Enforce docs build
-        run: if [ ! -z "$(git status --porcelain)" ]; then echo "repo is dirty; you probably need to 'npm run build-spec' and commit the result"; exit 1; fi
+        run: npm run build
 
       - name: Test
         run: npm test

.github/workflows/check.yml

@@ -0,0 +1,30 @@
+name: 'update docs'
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  docs:
+    name: 'deploy github pages'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+
+      - name: Setup node
+        uses: actions/setup-node@v2
+        with:
+          node-version: '16'
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Build
+        run: npm run build && npm run build-spec
+
+      - name: Deploy docs
+        run: ./scripts/auto-deploy.sh
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/update-docs.yml

@@ -5,3 +5,4 @@ test/baselines/generated-local
 package
 ecmarkup-*.tgz
 .vscode/
+docs/

.gitignore

@@ -7,7 +7,7 @@
 	"scripts": {
 		"build": "tsc -p src -sourceMap",
 		"build-release": "tsc -p src",
-		"build-spec": "node bin/ecmarkup.js spec/index.html docs/index.html --no-ecma-262-biblio --css-out docs/elements.css --js-out docs/ecmarkup.js",
+		"build-spec": "mkdir -p docs && node bin/ecmarkup.js spec/index.html docs/index.html --no-ecma-262-biblio --css-out docs/elements.css --js-out docs/ecmarkup.js",
 		"prepack": "safe-publish-latest && npm run build-release",
 		"test": "mocha",
 		"test-baselines": "mocha test/baselines.js",

docs/ecmarkup.js

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -euxo pipefail
+
+declare -r GH_USER_EMAIL="bot@tc39"
+declare -r GH_USER_NAME="Bot"
+declare -r COMMIT_MESSAGE="Update gh-pages"
+
+cd "$(dirname "$BASH_SOURCE")"/../docs
+
+git config --global user.email "${GH_USER_EMAIL}"
+git config --global user.name "${GH_USER_NAME}"
+git config --global init.defaultBranch gh-pages
+git init
+git add -A
+git commit --message "${COMMIT_MESSAGE}"
+git push --force "https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" gh-pages