Skip to content

Conversation

@tschneidereit
Copy link
Member

Creating separate PRs is something I had missed in the config. The other change is to make sure the release-type is applied correctly. I think it already was, but this seems better scoped regardless.

Surely this must be it!

Creating separate PRs is something I had missed in the config. The other change is to make sure the release-type is applied correctly. I think it already was, but this seems better scoped regardless.

Surely this must be it!

Signed-off-by: Till Schneidereit <till@tillschneidereit.net>
@tschneidereit tschneidereit merged commit e46c573 into main Oct 17, 2025
6 checks passed
@tschneidereit tschneidereit deleted the release-debugger branch October 17, 2025 13:01
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.

3 participants