Skip to content

ci: Use GitHub App token for release PR creation#30

Merged
roottool merged 1 commit intomainfrom
ci/improve-release-workflow-token
Dec 30, 2025
Merged

ci: Use GitHub App token for release PR creation#30
roottool merged 1 commit intomainfrom
ci/improve-release-workflow-token

Commits

Commits on Dec 30, 2025