Merge pull request #475 from w3c/auto-pub

chore: auto-publish

Author: siusin

.github/workflows/auto-publish.yml

@@ -0,0 +1,22 @@
+name: CI
+on:
+  pull_request: {}
+  push:
+    branches: [main]
+jobs:
+  main:
+    name: Build, Validate, Deploy
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: w3c/spec-prod@v2
+        with:
+          GH_PAGES_BRANCH: gh-pages
+          TOOLCHAIN: bikeshed
+          BUILD_FAIL_ON: "link-error"
+          W3C_NOTIFICATIONS_CC: ${{ secrets.CC }}
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}
+          W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-webapps/2014JulSep/0627.html
+          W3C_BUILD_OVERRIDE: |
+            status: WD
+            shortname: intersection-observer