Fix compatibility issues with profiles.schema.json (#11360)

This fixes two issues with profiles.schema.json:
* The `$schema` should not end in a `#`
* `$defs` is the official reserved keyword for schema re-use

See: http://json-schema.org/draft/2020-12/json-schema-core.html

## PR Checklist
* [x] I work here
* [x] Tests added/passed
* [x] Schema updated

## Validation Steps Performed

The previous schema didn't pass https://jschon.dev/, the new schema does.
This commit is contained in:
Leonard Hecker 2021-09-29 12:23:38 +02:00 committed by GitHub
parent 3b3b72e9cf
commit 856f8764ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 569 additions and 218 deletions

File diff suppressed because it is too large Load Diff