Skip to content

Conversation

@tothtamas28
Copy link
Contributor

No description provided.

@tothtamas28 tothtamas28 self-assigned this Jan 21, 2026
@tothtamas28 tothtamas28 requested a review from dkcumming January 21, 2026 13:51
@tothtamas28 tothtamas28 marked this pull request as ready for review January 21, 2026 13:51
@automergerpr-permission-manager automergerpr-permission-manager bot merged commit e0abf9b into master Jan 21, 2026
7 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the small-cli-fix branch January 21, 2026 14:52
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.

3 participants