Chore: Disable /TR/ publication for errata.html (#158)

himorin · github-actions[bot] · himorin · commit f30890d86721 · 2024-06-04T13:23:03.000Z
SHA: 71242b6 Reason: push, by marcoscaceres Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
diff --git a/index.html b/index.html
@@ -159,7 +159,7 @@
 .mdn .samsunginternet_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/samsung-internet/samsung-internet.svg)}
 .mdn .webview_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/android-webview/android-webview.png)}
 </style>
-<meta name="revision" content="c2fdd742bd86489fdb426ea46306b31fd35ea747">
+<meta name="revision" content="71242b674c8734f618d12cd6f58620bd8e0da351">
 <meta name="description" content="The Geolocation API provides access to geographical location
         information associated with the hosting device.">
 <style>
@@ -232,7 +232,7 @@
   "implementationReportURI": "https://w3c.github.io/geolocation-api/reports/PR_imp_report.html",
   "xref": "web-platform",
   "errata": "https://w3c.github.io/geolocation-api/errata.html",
-  "gitRevision": "c2fdd742bd86489fdb426ea46306b31fd35ea747",
+  "gitRevision": "71242b674c8734f618d12cd6f58620bd8e0da351",
   "publishISODate": "2024-06-04T00:00:00.000Z",
   "generatedSubtitle": "W3C Editor's Draft 04 June 2024"
 }</script>
