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

Export completed list of specs in index.json file #29

Merged
merged 2 commits into from
Apr 6, 2020

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented Apr 3, 2020

See discussion in #13.

This update replaces the fetch-info workflow with a build workflow that directly creates the index file index.json that contains the exposed list of specs generated from the specs.json file.

This update also drops tests that compare the index.json file with the specs.json file, to allow for pull requests that only change specs.json (Impact on the generated list would still need to be assessed somehow, see #17).

Note the code preserves the index.js file which is still a useful CLI.

See discussion in w3c#13.

This update replaces the `fetch-info` workflow with a `build` workflow that
directly creates the index file `index.json` that contains the exposed list of
specs generated from the `specs.json` file.

This update also drops tests that compare the `index.json` file with the
`specs.json` file, to allow for pull requests that only change `specs.json`
(Impact on the generated list would still need to be assessed somehow, see w3c#17).

Note the code preserves the index.js file which is still a useful CLI.
@tidoust tidoust requested a review from dontcallmedom April 3, 2020 17:27
(first list of specs not merged yet...)
@tidoust tidoust merged commit 5566bc3 into w3c:master Apr 6, 2020
@tidoust tidoust deleted the export-json branch May 7, 2020 06:46
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