Merge main into releases/v4#4031

mbg merged 6 commits into

releases/v4github/codeql-action:releases/v4from

update-v4.37.3-72f6a9da0github/codeql-action:update-v4.37.3-72f6a9da0Copy head branch name to clipboard