Skip to content

Conversation

@jirispilka
Copy link
Collaborator

No description provided.

@github-actions github-actions bot added t-ai Issues owned by the AI team. tested Temporary label used only programatically for some analytics. labels Aug 22, 2025
@jirispilka jirispilka requested a review from MQ37 August 22, 2025 21:07
Copy link
Contributor

@MQ37 MQ37 left a comment

Choose a reason for hiding this comment

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

Apply the patch and LGTM 👍

Co-authored-by: Jakub Kopecký <[email protected]>
@jirispilka jirispilka merged commit 6216fa4 into master Aug 23, 2025
4 checks passed
@jirispilka jirispilka deleted the fix/rename-repo branch August 23, 2025 20:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

t-ai Issues owned by the AI team. tested Temporary label used only programatically for some analytics.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants