Skip to content

Comment on released PRs when creating a release - #23

Merged
friederbluemle merged 1 commit into
fbluemle:masterfrom
friederbluemle:comment-released-prs
Sep 4, 2026
Merged

friederbluemle merged 1 commit into
fbluemle:masterfrom
friederbluemle:comment-released-prs

Conversation

@friederbluemle

Copy link
Copy Markdown
Contributor

No description provided.

@friederbluemle
friederbluemle merged commit 63b798d into fbluemle:master Sep 4, 2026
3 checks passed
@friederbluemle
friederbluemle deleted the comment-released-prs branch September 4, 2026 05:04
@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

🎉 Released in v0.7.0

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant