Skip to content

chore: release 0.17.2 - #225

Merged
raymondk merged 1 commit into
mainfrom
release/0.17.2
Jan 8, 2026
Merged

chore: release 0.17.2#225
raymondk merged 1 commit into
mainfrom
release/0.17.2

Conversation

@raymondk

@raymondk raymondk commented Jan 8, 2026

Copy link
Copy Markdown
Contributor

After merging this PR, tag the merge commit with:

git tag 0.17.2
git push origin 0.17.2

@raymondk
raymondk requested a review from a team as a code owner January 8, 2026 02:05
peterpeterparker
peterpeterparker approved these changes Jan 8, 2026
View reviewed changes

@peterpeterparker peterpeterparker left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM, thx

@raymondk
raymondk added this pull request to the merge queue Jan 8, 2026
Merged via the queue into main with commit c06bddf Jan 8, 2026
14 checks passed
@raymondk
raymondk deleted the release/0.17.2 branch January 8, 2026 05:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer
@peterpeterparker peterpeterparker peterpeterparker approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@raymondk @peterpeterparker