Skip to content

chore(main): release 0.13.0 - #106

Merged
Zaimwa9 merged 1 commit into
mainfrom
release-please--branches--main
Jul 28, 2026
Merged

Zaimwa9 merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 28, 2026 •

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.13.0 (2026-07-28)

Features

  • a thread reply can resolve the thread it verified as fixed (#105) (4172550)

Bug Fixes

  • prompts: apply the review doctrine to discussion replies (#104) (8267723)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot changed the title chore(main): release 0.12.1 chore(main): release 0.13.0 Jul 28, 2026
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from a96a0e0 to fb79659 Compare July 28, 2026 09:51
@Zaimwa9
Zaimwa9 merged commit efa7d98 into main Jul 28, 2026
1 check passed
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant