-
Notifications
You must be signed in to change notification settings - Fork 58
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Disable /TR/ publication for errata.html #158
Conversation
mm.. |
SHA: 71242b6 Reason: push, by marcoscaceres Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Added label (but obviously don’t expect it will be used) https://github.com/w3c/geolocation-api/labels/errata |
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?? |
It might be… need to talk to @sidvishnoi to see why spec prod is not doing the right thing. |
In errata.html, there's this function which removes I'll send ReSpec PR so it doesn't crash on this unexpected DOM state. |
SHA: 71242b6 Reason: push, by marcoscaceres Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This will solve recent PR merge check issues, with removing W3C_ lines.
Also fixed errata.html on wrong repository name, etc.
Background: