Emit warning for unrecognised repo properties with our common prefix#3570

mbg merged 2 commits intomaingithub/codeql-action:mainfrom

mbg/repo-props/warn-on-unexpected-propsgithub/codeql-action:mbg/repo-props/warn-on-unexpected-propsCopy head branch name to clipboard