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

Copilot wants to merge 1 commit intomaingithub/codeql-action:mainfrom

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