Skip to content

Fix kitdiff PR comment#207

Merged
lucasmerlin merged 1 commit intomainfrom
lucas/fix-comment-action
Dec 3, 2025
Merged

Fix kitdiff PR comment#207
lucasmerlin merged 1 commit intomainfrom
lucas/fix-comment-action

Conversation

@lucasmerlin
Copy link
Collaborator

No idea why this works without the permission on the egui repo 🤔

No idea why this works without the permission on the egui repo 🤔
@lucasmerlin lucasmerlin added the exclude from changelog This change will NOT be included in the changelog label Dec 3, 2025
@lucasmerlin lucasmerlin merged commit 9acdc81 into main Dec 3, 2025
10 of 12 checks passed
@lucasmerlin lucasmerlin deleted the lucas/fix-comment-action branch December 3, 2025 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

exclude from changelog This change will NOT be included in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant