Skip to content

chore(github): use GH_TOKEN if it exists#457

Merged
LeoMcA merged 4 commits intomainfrom
gh-token-or-github-token
Jan 19, 2026
Merged

chore(github): use GH_TOKEN if it exists#457
LeoMcA merged 4 commits intomainfrom
gh-token-or-github-token

Conversation

@caugner
Copy link
Contributor

@caugner caugner commented Dec 19, 2025

Description

Updates GitHub logic to use GH_TOKEN if exists as an alternative to GITHUB_TOKEN.

Note: Like GitHub CLI (see docs, and code), GH_TOKEN takes precedence over GITHUB_TOKEN.

Motivation

Avoid problems when some workflows use GH_TOKEN instead of GITHUB_TOKEN.

Additional details

Related issues and pull requests

@caugner caugner requested a review from a team as a code owner December 19, 2025 17:29
@caugner caugner requested a review from LeoMcA December 19, 2025 17:29
@github-actions
Copy link
Contributor

github-actions bot commented Dec 19, 2025

0b6636d was deployed to: https://rari-pr457.review.mdn.allizom.net/

@LeoMcA LeoMcA merged commit 1889ac5 into main Jan 19, 2026
18 checks passed
@LeoMcA LeoMcA deleted the gh-token-or-github-token branch January 19, 2026 09:02
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