Skip to content

chore: clean up comment on github token in workflow#7450

Merged
mnkiefer merged 1 commit intomainfrom
mnkiefer-patch-1
Dec 23, 2025
Merged

chore: clean up comment on github token in workflow#7450
mnkiefer merged 1 commit intomainfrom
mnkiefer-patch-1

Conversation

@mnkiefer
Copy link
Contributor

Removed comment about the GitHub token used for project updates.

Removed comment about the GitHub token used for project updates.
@mnkiefer mnkiefer self-assigned this Dec 23, 2025
@mnkiefer mnkiefer changed the title chore: clean up comment on GitHub token in workflow chore: clean up comment on github token in workflow Dec 23, 2025
@mnkiefer mnkiefer merged commit 9b8983e into main Dec 23, 2025
123 checks passed
@mnkiefer mnkiefer deleted the mnkiefer-patch-1 branch December 23, 2025 22:15
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