- From: himorin / Atsushi Shimono via GitHub <sysbot+gh@w3.org>
- Date: Tue, 04 Jun 2024 08:19:33 +0000
- To: public-geolocation@w3.org
himorin has just submitted a new pull request for https://github.com/w3c/geolocation-api: == Disable /TR/ publication for errata.html == This will solve recent PR merge check issues, with removing W3C_ lines. Also fixed errata.html on wrong repository name, etc. Background: - built spec page (Overview.html) points to errata.html at github.io but not in the same directory in /TR/ - there seems no available specStatus configuration of respec, which could be published to /TR/, like base nor LD - even if we want to publish errata.html into /TR/ we shall run echidna publication at once contains both Overview.html and errata.html (but not running spec-prod twice) See https://github.com/w3c/geolocation-api/pull/158 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 4 June 2024 08:19:34 UTC