Add workflows permission options for GitHub token#41141

simonw wants to merge 1 commit intogithub:maingithub/docs:mainfrom

simonw:patch-2simonw/docs-1:patch-2Copy head branch name to clipboard