If no changes to .github/* could we use GITHUB_TOKEN? Using GitHub bot when possible.
If no changes to .github/* could we use GITHUB_TOKEN? Using GitHub bot when possible.