You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Release v2.5.1 (#109)
* ci: create GitHub Releases for tagged versions
npm already publishes on v* tags, but production GitHub Releases were
created by hand. Mirror the develop pre-release job so pushing a version
tag also generates a GitHub Release, skipping if one already exists.
Co-authored-by: Yukai Huang <hi@yukai.dev>
* chore: release v2.5.1
Bump the package version and document tags, update-command permission
flags, the permission-flag overwrite fix, skill and CodiMD docs, and
develop-branch prereleases.
Co-authored-by: Yukai Huang <hi@yukai.dev>
* ci: seed GitHub Releases with the changelog entry
Use the matching CHANGELOG.md section as the release notes and still
append GitHub's generated PR list so tagged publishes match v2.5.0-style
history without requiring a manual GitHub UI draft.
Co-authored-by: Yukai Huang <hi@yukai.dev>
---------
Co-authored-by: Cursor Agent <cursoragent@cursor.com>