chore: release 2.5.1 #62
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "release-2.5.1"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Version bump only.
Ships PR #61: the footer's first segment names the main repository instead of
basename $PWD(so a git worktree no longer repeats its branch name), and the model segment carries pi's live thinking level as a compact suffix (GPT-5.6 Sol · high) behind the newfooterEfforttoggle.bun run test15/15 green andtsc --strictclean on master at1e31149; both changes verified present in the merged master before the bump. Live pi smoke runs against this checkout beforenpm publish.