Address missing GitHub App token#437

rvermeulen merged 1 commit intogithub:maingithub/codeql-coding-standards:mainfrom

rvermeulen:rvermeulen/address-missing-gh-tokenrvermeulen/codeql-coding-standards:rvermeulen/address-missing-gh-tokenCopy head branch name to clipboard