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

fix: minor issue with schemastore part of script #4195

Merged
merged 1 commit into from Feb 1, 2024

Conversation

henryiii
Copy link
Contributor

@henryiii henryiii commented Jan 29, 2024

Description

This is a quick fix followup to #4181 based on SchemaStore/schemastore#3559. Any future changes needed to that PR will also be made here, either to this PR if still open or a followup.

(This also makes the script executable)

Checklist - did you ...

  • Add an entry in CHANGES.md if necessary?
  • Add / update tests if necessary?
  • Add new / update outdated documentation?

Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>
@JelleZijlstra JelleZijlstra added the skip news Pull requests that don't need a changelog entry. label Jan 29, 2024
Copy link
Collaborator

@JelleZijlstra JelleZijlstra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, and sorry for missing this. I'll leave this PR open for a bit in case other minor issues come up.

@henryiii
Copy link
Contributor Author

henryiii commented Feb 1, 2024

SchemaStore now has the black schema.

@JelleZijlstra JelleZijlstra merged commit 24c9c01 into psf:main Feb 1, 2024
43 of 44 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip news Pull requests that don't need a changelog entry.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants