Add repository property for tools input#4037

mbg merged 12 commits into

maingithub/codeql-action:mainfrom

mbg/repo-props/toolsgithub/codeql-action:mbg/repo-props/toolsCopy head branch name to clipboard