Only copy repos that have results when copying repo list#1406

charisk merged 1 commit intomaingithub/vscode-codeql:mainfrom

charisk/copy-repo-list-bug-fixgithub/vscode-codeql:charisk/copy-repo-list-bug-fixCopy head branch name to clipboard