Disable /TR/ publication for errata.html

w3c / geolocation

W3C Geolocation API

https://www.w3.org/TR/geolocation/

81 stars 56 forks source link

Disable /TR/ publication for errata.html #158

Closed himorin closed 1 month ago

himorin commented 1 month ago

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)

himorin commented 1 month ago

mm.. errata label does not exist??

marcoscaceres commented 1 month ago

Added label (but obviously don’t expect it will be used) https://github.com/w3c/geolocation-api/labels/errata

himorin commented 1 month ago

hrm, action for errata still failed, and considering errata.html in gh-pages branch has updated with one using respec ( df64beb ), is it safe to remove gh-action for errata.html completely??

marcoscaceres commented 1 month ago

It might be… need to talk to @sidvishnoi to see why spec prod is not doing the right thing.

sidvishnoi commented 1 month ago

In errata.html, there's this function which removes .head details before save. But ReSpec is trying to open that details before save.

https://github.com/w3c/geolocation-api/blob/b358dada8494840877057a71fe39e179a409a99e/errata.html#L39-L44

https://github.com/w3c/respec/blob/df9bb436b8c6cf0e9be2e51e637b24c0fb7f3465/src/w3c/templates/headers.js#L188-L194

I'll send ReSpec PR so it doesn't crash on this unexpected DOM state.