Skip to content

Properly set GitHub token for gh#426

Merged
mcmire merged 1 commit intomainfrom
use-gh-token
Oct 9, 2025
Merged

Properly set GitHub token for gh#426
mcmire merged 1 commit intomainfrom
use-gh-token

Conversation

@mcmire
Copy link
Contributor

@mcmire mcmire commented Oct 9, 2025

gh (at least according to the documentation) expects GH_TOKEN, not GITHUB_TOKEN.

`gh` (at least according to the documentation) expects `GH_TOKEN`, not
`GITHUB_TOKEN`.
@mcmire mcmire marked this pull request as ready for review October 9, 2025 20:30
@mcmire mcmire requested a review from a team as a code owner October 9, 2025 20:30
Copy link
Member

@Gudahtt Gudahtt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@mcmire mcmire merged commit 0d34dfd into main Oct 9, 2025
12 checks passed
@mcmire mcmire deleted the use-gh-token branch October 9, 2025 20:32
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.

2 participants