Skip to content

chore(release): bump version to v4.0.2 - #626

Merged
carlospedreira merged 3 commits into
mainfrom
release/v4.0.2
Jul 10, 2026
Merged

chore(release): bump version to v4.0.2#626
carlospedreira merged 3 commits into
mainfrom
release/v4.0.2

Conversation

@aselim31

@aselim31 aselim31 commented Jul 9, 2026

Copy link
Copy Markdown
Collaborator

Summary

Patch release bump — v4.0.1 → v4.0.2.

Closes #627

Test plan

  • Version number correct in all updated files
  • Release notes entry present for v4.0.2

🤖 Generated with Claude Code

@github-actions

github-actions Bot commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

This PR is missing a linked issue reference.

Please add one of the following to the PR description:

  • Closes #<issue-number>
  • Fixes #<issue-number>
  • Resolves #<issue-number>

If this is a trivial change that doesn't need an issue, ask a maintainer to add the no-issue label.

@carlospedreira carlospedreira left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Approved. I reviewed this as a blocking release-metadata pass: version.json and CHANGELOG.md are consistent for v4.0.2, the release-note extraction path resolves this as a maintenance release, and the targeted checks passed.

@carlospedreira
carlospedreira merged commit 4978f75 into main Jul 10, 2026
7 of 8 checks passed
@github-project-automation github-project-automation Bot moved this from Inbox to Done in Dotbot Product Backlog Jul 10, 2026
@carlospedreira
carlospedreira deleted the release/v4.0.2 branch July 10, 2026 07:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Release: v4.0.2 patch

2 participants