Skip to content

Automatically use the GitHub-provided token to allow most users to avoid explicit GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} configuration#564

Merged
Andarist merged 1 commit intomainfrom
default-github-token
Jan 29, 2026
Merged

Automatically use the GitHub-provided token to allow most users to avoid explicit GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} configuration#564
Andarist merged 1 commit intomainfrom
default-github-token