Skip to content

Conversation

@Gagrio
Copy link
Contributor

@Gagrio Gagrio commented Nov 11, 2025

Adding a note for linking a PR to an issue via a keyword

@Gagrio Gagrio requested a review from e-minguez November 11, 2025 15:52
Copy link
Collaborator

@e-minguez e-minguez left a comment

Choose a reason for hiding this comment

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

You know I'm picky :)

@Gagrio Gagrio force-pushed the github-workflow-enhancement branch from 8d9b243 to 90b20a5 Compare November 12, 2025 10:23
@Gagrio Gagrio merged commit 63b9123 into suse-edge:main Nov 12, 2025
1 check passed
@Gagrio Gagrio deleted the github-workflow-enhancement branch November 12, 2025 10:24
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