Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Oct 16, 2025

Addresses the comment: #2588 (comment)


This is an automatic backport of pull request #2682 done by Mergify.

@bmagyar bmagyar merged commit 7228d66 into kilted Oct 16, 2025
10 of 13 checks passed
@bmagyar bmagyar deleted the mergify/bp/kilted/pr-2682 branch October 16, 2025 10:05
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