Skip to content

Fix official release notes - #13

Merged
cyanzhong merged 1 commit into
mainfrom
develop
Aug 8, 2026
Merged

Fix official release notes#13
cyanzhong merged 1 commit into
mainfrom
develop

Conversation

@cyanzhong

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

This PR improves the “official” extension/theme registry metadata by ensuring release notes are present and properly formatted, and by teaching the official-update script to pull and sanitize notes from GitHub Releases.

Changes:

  • Add a releaseNotes() helper to trim/omit GitHub release bodies and test its behavior.
  • Update scripts/update-official.mjs to populate notes for newly discovered official releases.
  • Populate notes fields for several existing official entries (and their index.json “latest” snapshots).

Reviewed changes

Copilot reviewed 16 out of 16 changed files in this pull request and generated no comments.

Show a summary per file
File Description
themes/markedit-theme-tokyo-night.json Add notes to the latest theme version entry.
themes/markedit-theme-quietlight.json Add notes to the latest theme version entry.
themes/markedit-theme-one-dark.json Add notes to the latest theme version entry.
themes/markedit-theme-nord.json Add notes to the latest theme version entry.
themes/markedit-theme-noctis-lilac.json Add notes to the latest theme version entry.
themes/markedit-theme-gruvbox.json Add notes to the latest theme version entry.
themes/markedit-theme-duotone.json Add notes to the latest theme version entry.
themes/markedit-theme-catppuccin.json Add notes to the latest theme version entry.
themes/markedit-theme-basic.json Add notes to the latest theme version entry.
test/github-release.test.mjs Add unit tests covering trimming/omission behavior for release notes.
scripts/update-official.mjs Populate next.notes from GitHub release body when available.
scripts/github-release.mjs Add releaseNotes() helper for sanitizing GitHub release bodies.
index.json Include notes on affected latest entries.
extensions/markedit-theme-zero.json Add notes to the latest version entry.
extensions/markedit-preview.json Add notes to the latest version entry.
extensions/markedit-ai-writer.json Add notes to the latest version entry.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@cyanzhong
cyanzhong merged commit 0c8b6b4 into main Aug 8, 2026
2 checks passed
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.

2 participants