Skip to content

Conversation

ralfhandl
Copy link
Contributor

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

@ralfhandl ralfhandl requested review from a team as code owners September 8, 2025 14:18
@ralfhandl
Copy link
Contributor Author

@webron Working with you on the OpenAPI spec was a pleasure and an honor.

@handrews
Copy link
Member

handrews commented Sep 8, 2025

@webron thanks for all the great work! Working with you to figure out how to get updated JSON Schema into 3.1 is still a highlight of my time with this project.

@ralfhandl ralfhandl merged commit 72c0340 into main Sep 8, 2025
3 checks passed
@ralfhandl ralfhandl deleted the editors-ron-emeritus branch September 8, 2025 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants