Add a repository property for disabling overlay #3507

henrymercer merged 9 commits intomaingithub/codeql-action:mainfrom

henrymercer/overlay-repo-propertygithub/codeql-action:henrymercer/overlay-repo-propertyCopy head branch name to clipboard