Skip to content

Add comment about pull request in workflow file#16513

Closed
nickvergessen wants to merge 1 commit intomainfrom
nickvergessen-patch-1
Closed

Add comment about pull request in workflow file#16513
nickvergessen wants to merge 1 commit intomainfrom
nickvergessen-patch-1

Conversation

@nickvergessen
Copy link
Member

@nickvergessen nickvergessen commented Dec 10, 2025

Added a comment referencing a related pull request.

Signed-off-by: Joas Schilling <213943+nickvergessen@users.noreply.github.com>
@nickvergessen nickvergessen deleted the nickvergessen-patch-1 branch December 10, 2025 23:07
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.

1 participant