Skip to content

ci: switch the workflow updater to GitHub App auth#27

Merged
ernolf merged 1 commit into
mainfrom
ernolf/ci/updater-github-app
Jul 20, 2026
Merged

ci: switch the workflow updater to GitHub App auth#27
ernolf merged 1 commit into
mainfrom
ernolf/ci/updater-github-app

Commits

Commits on Jul 20, 2026