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 JSON Schema for documentation and metadata #1289

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

simon04
Copy link
Contributor

@simon04 simon04 commented Nov 6, 2020

Relates to #878

@jmerle
Copy link
Contributor

jmerle commented Nov 6, 2020

I am not too familiar with JSON schemas, but is this something that should be publicly accessible (i.e. on the devdocs.io domain)? If not, I think this may fit better in the docs/ directory.

@simon04
Copy link
Contributor Author

simon04 commented Nov 6, 2020

is this something that should be publicly accessible

I'd say yes. This allows referencing the schema in JSON files. Here's a big collection of publicly accessible JSON schema definitions, https://www.schemastore.org/json/.

@simon04 simon04 self-assigned this Nov 19, 2020
@simon04 simon04 marked this pull request as draft November 21, 2020 14:00
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