Skip to content

Release Pinmind 0.10.0 - #19

Merged
iammedved merged 1 commit into
mainfrom
codex/pinmind-010-release
Aug 23, 2026
Merged

Release Pinmind 0.10.0#19
iammedved merged 1 commit into
mainfrom
codex/pinmind-010-release

Conversation

@iammedved

Copy link
Copy Markdown
Owner

Summary

  • mark 0.10.0 as the current stable release
  • pin the public marketplace install command to immutable tag v0.10.0
  • synchronize the roadmap and documentation-contract regression

Verification

  • node scripts/verify-release.mjs --run
  • plugin-creator validate_plugin.py
  • commit-range identity and diff checks
  • Codex Security diff scan: 0 reportable findings across all 3 changed files

Release follow-up

After protected merge, create annotated tag v0.10.0 at the verified merge commit, publish the GitHub Release, and verify the tag tree against the plugin manifest.

@iammedved
iammedved merged commit d5386b4 into main Aug 23, 2026
1 check passed
@iammedved
iammedved deleted the codex/pinmind-010-release branch August 23, 2026 13:36
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