Add cutoff repos and counts to error message#1408

robertbrignull merged 1 commit intomaingithub/vscode-codeql:mainfrom

robertbrignull/cutoff_reposgithub/vscode-codeql:robertbrignull/cutoff_reposCopy head branch name to clipboard