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

Copilot wants to merge 4 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