Disable W3C publish workflow

Author: dhil

.github/workflows/w3c-publish.yml

@@ -11,6 +11,9 @@ on:
 jobs:
   publish-to-w3c-TR:
     runs-on: ubuntu-latest
+    # TODO(dhil): The following effectively disables this workflow. It
+    # should be removed before merging with upstream.
+    if: false
     steps:
       - name: Checkout repo
         uses: actions/checkout@v2