Skip to content

Conversation

@robertnurnberg
Copy link
Contributor

Implements a suggestion by @vdbergh.

We also add a comment in update_json.py to help book authors.

To summarize the CI actions:

  • we first run python update_json.py without deleting books.json to quickly flag missing books or wrong sri's
  • we then run python update_json.py after deleting books.json , so that all the meta data is computed afresh (this prevents accidental changes to the non-sri fields passing through unnoticed)
  • we then run python update_readme.py to ensure integrity of the readme file

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.

1 participant