Add github-codeql-tools repository property for tools input#3766

oscarsj with Copilot wants to merge 25 commits into

maingithub/codeql-action:mainfrom

copilot/add-tools-input-source-repositorygithub/codeql-action:copilot/add-tools-input-source-repositoryCopy head branch name to clipboard