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

Publish theme json schema v0.2.0 #21428

Merged
merged 2 commits into from
Dec 3, 2024
Merged

Publish theme json schema v0.2.0 #21428

merged 2 commits into from
Dec 3, 2024

Conversation

notpeter
Copy link
Member

@notpeter notpeter commented Dec 2, 2024

Fix theme json schema so ./script/import-themes print-schema works again
Update schema to reflect current structs (diff)

Release Notes:

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Dec 2, 2024
@notpeter notpeter changed the title WIP: Fix theme json schema generation Improve generation of theme json schema Dec 2, 2024
@zed-industries-bot
Copy link

zed-industries-bot commented Dec 2, 2024

Messages
📖

This PR includes links to the following GitHub Issues: #12319, #21335
If this PR aims to close an issue, please include a Closes #ISSUE line at the top of the PR body.

Generated by 🚫 dangerJS against f45de31

@notpeter notpeter changed the title Improve generation of theme json schema Publish theme json schema v0.2.0 Dec 3, 2024
@notpeter notpeter marked this pull request as ready for review December 3, 2024 04:59
@notpeter notpeter merged commit 41a973b into main Dec 3, 2024
19 checks passed
@notpeter notpeter deleted the theme_json_schema branch December 3, 2024 17:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cla-signed The user has signed the Contributor License Agreement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Missing field in themes JSON Schema Themes JSON schema is incomplete
3 participants