Skip to content

fix: use github.token instead of REPOSITORY_PUSH_TOKEN in release wor…#5

Merged
jan--f merged 1 commit into
mainfrom
feat/pr-based-olm-catalog
Mar 5, 2026
Merged

fix: use github.token instead of REPOSITORY_PUSH_TOKEN in release wor…#5
jan--f merged 1 commit into
mainfrom
feat/pr-based-olm-catalog

Conversation

@jan--f

@jan--f jan--f commented Mar 5, 2026

Copy link
Copy Markdown
Owner

…kflows

The PR-based catalog workflow does not need a PAT. The built-in github.token is sufficient since the workflows already declare contents: write and pull-requests: write permissions.

Remove explicit token: and GH_TOKEN overrides so that actions/checkout uses the default GITHUB_TOKEN (avoiding failures when REPOSITORY_PUSH_TOKEN is unset or stale in forks), and gh pr create picks up GITHUB_TOKEN automatically.

Also drop persist-credentials: false from create-github-prerelease which would have broken git push --follow-tags without a separately configured credential.

…kflows

The PR-based catalog workflow does not need a PAT. The built-in
github.token is sufficient since the workflows already declare
contents: write and pull-requests: write permissions.

Remove explicit token: and GH_TOKEN overrides so that actions/checkout
uses the default GITHUB_TOKEN (avoiding failures when REPOSITORY_PUSH_TOKEN
is unset or stale in forks), and gh pr create picks up GITHUB_TOKEN
automatically.

Also drop persist-credentials: false from create-github-prerelease which
would have broken git push --follow-tags without a separately configured
credential.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@jan--f jan--f merged commit fd46ee6 into main Mar 5, 2026
7 checks passed
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