tools
tools copied to clipboard
Use either GH_TOKEN or GITHUB_TOKEN
Before this change, even if $GH_TOKEN was set $GITHUB_TOKEN was used