Remove GITHUB_TOKEN permissions note since it's no longer required#13206

charisk merged 1 commit intomaingithub/codeql:mainfrom

charisk/mrva-remove-token-permsgithub/codeql:charisk/mrva-remove-token-permsCopy head branch name to clipboard