Use level3 branch for level 3 and gh-pages branch for level 4.

.github/workflows/auto-publish-level3.yml

@@ -0,0 +1,19 @@
+# .github/workflows/pr-push.yml
+name: CI
+on:
+  pull_request: {}
+  push:
+    branches: [level3]
+jobs:
+  main:
+    name: Build, Validate and Deploy
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - uses: w3c/spec-prod@v2
+        with:
+          W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
+          W3C_WG_DECISION_URL: https://github.com/w3c/pointerevents/pull/330#issuecomment-692924562
+          W3C_BUILD_OVERRIDE: |
+             shortName: pointerevents3
+             specStatus: WD

.github/workflows/auto-publish.yml

@@ -3,7 +3,7 @@ name: CI
 on:
   pull_request: {}
   push:
-    branches: [level3]
+    branches: [gh-pages]
 jobs:
   main:
     name: Build, Validate and Deploy
@@ -12,8 +12,8 @@ jobs:
       - uses: actions/checkout@v2
       - uses: w3c/spec-prod@v2
         with:
-          W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
+          W3C_ECHIDNA_TOKEN: ${{ secrets.LEVEL4_TR_TOKEN }}
           W3C_WG_DECISION_URL: https://github.com/w3c/pointerevents/pull/330#issuecomment-692924562
           W3C_BUILD_OVERRIDE: |
-             shortName: pointerevents3
+             shortName: pointerevents4
              specStatus: WD

index.html

@@ -8,9 +8,8 @@
             specStatus: "ED",
             shortName: "pointerevents4",
             subtitle: "Level 4",
-            edDraftURI: "https://w3c.github.io/pointerevents/",
-            prevRecShortname: 'pointerevents',
-            github: "https://github.com/w3c/pointerevents/",
+            prevRecShortname: 'pointerevents2',
+            github: "w3c/pointerevents",
             testSuiteURI: "https://wpt.fyi/pointerevents/",
             caniuse: "pointer",
             formerEditors: [
@@ -28,7 +27,7 @@
                     name: "Navid Zolghadr",
                     company: "Google", companyURL: "https://www.google.com/",
                     w3cid: '92361'
-                }
+                },
             ],
             editors: [
                 {
@@ -40,12 +39,13 @@
                     name: "Robert Flack",
                     company: "Google", companyURL: "https://www.google.com/",
                     w3cid: '98451'
-                }
+                },
             ],
-            group: "pointer-events",
+            group: "wg/pointer-events",
             wgPublicList: "public-pointer-events",
             lint: {
-                "check-punctuation": true
+                "check-punctuation": true,
+                "wpt-tests-exist": true,
             },
             noIDLSorting: true,
             doJsonLd: true,