Add explicit permissions to GitHub Actions workflows#90

jonrohan merged 2 commits intomaingithub/auto-check-element:mainfrom

copilot/add-workflow-file-permissionsgithub/auto-check-element:copilot/add-workflow-file-permissionsCopy head branch name to clipboard