Skip to content

Conversation

@ciiay
Copy link
Member

@ciiay ciiay commented Nov 13, 2025

@ciiay ciiay requested review from a team, gashcrumb and kadel as code owners November 13, 2025 21:59
@github-actions github-actions bot added the non-workspace-changes PR changes files outside workspace directories label Nov 14, 2025
@christoph-jerolimov
Copy link
Member

/publish

@github-actions
Copy link
Contributor

PR action (/publish) cancelled: PR doesn't touch only 1 workspace.

Copy link
Member

@christoph-jerolimov christoph-jerolimov left a comment

Choose a reason for hiding this comment

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

Lgtm!

@christoph-jerolimov christoph-jerolimov merged commit 58df2dd into redhat-developer:main Nov 14, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

non-workspace-changes PR changes files outside workspace directories

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants