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

Update JSON Schema: Correct the location of additionalProperties in the registries element #1534

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

Conversation

lorrrrrrrenzo
Copy link

@lorrrrrrrenzo lorrrrrrrenzo commented Dec 12, 2024

What

This pull request moves registries.properties.additionalproperties to registries.additionalProperties, in accordance with the JSON Schema specification. …

Why

I am creating this pull request because this nonconformance with the JSON Schema specification breaks an integration with a tool that consumes such schemas. The specification confirms that the additionalProperties field impacts the interpretation of other fields (source), suggesting that this is something worth fixing. Examples of the proper usage can be found here and here. We also see repeated uses of the keyword location /items/$ref/additionalProperties in the spec. If this key were properly located at registries.properties.additionalproperties, we would see the use of /items/$ref/properties/additionalProperties instead.

Implications

I do not expect this to change any behavior.

@lorrrrrrrenzo lorrrrrrrenzo changed the title registries.properties.additionalproperties => `registries.additiona… Update JSON Schema: Correct the location of additionalProperties in the registries element Dec 12, 2024
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