Skip to content
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

Add periodic check on base URL #192

Merged
merged 2 commits into from
Nov 9, 2020
Merged

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented Nov 9, 2020

The base URL of a specification should either match its release URL if there is one or its nightly URL otherwise.

This update adds a check-base-url script and a weekly GitHub action, run on Mondays at 00:30 (to avoid collision with the monitor action), to make sure that this is actually the case. The action creates an issue when there are specifications to check.

Cancels and replaces #72.

The base URL of a specification should either match its release URL if there is
one or its nightly URL otherwise.

This update adds a `check-base-url` script and a weekly GitHub action, run on
Mondays at 00:30 (to avoid collision with the monitor action), to make sure
that this is actually the case. The action creates an issue when there are
specifications to check.
@tidoust
Copy link
Member Author

tidoust commented Nov 9, 2020

Note the script currently (correctly) reports that the CSS21 entry is problematic because the release URL is https://www.w3.org/TR/CSS2/ whereas the base URL is https://www.w3.org/TR/CSS21/. Request sent to have the release URL updated in W3C database.

src/check-base-url.js Outdated Show resolved Hide resolved
@tidoust
Copy link
Member Author

tidoust commented Nov 9, 2020

Note the script currently (correctly) reports that the CSS21 entry is problematic because the release URL is https://www.w3.org/TR/CSS2/ whereas the base URL is https://www.w3.org/TR/CSS21/. Request sent to have the release URL updated in W3C database.

W3C API updated, the script should no longer report any failure.

@tidoust tidoust merged commit 01503e7 into w3c:master Nov 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants