Skip to content

Conversation

@43081j
Copy link
Contributor

@43081j 43081j commented Sep 26, 2025

Risky business.

Should be fine though and means PRs will get the bot comments properly.

Risky business.

Should be fine though and means PRs will get the bot comments properly.
Copy link
Contributor

@delucis delucis left a comment

Choose a reason for hiding this comment

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

@43081j 43081j merged commit e6277a7 into main Feb 5, 2026
2 checks passed
@43081j 43081j deleted the pr-target branch February 5, 2026 10:26
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.

2 participants