Add new repositories to a highlighted user defined list#1900

norascheuch merged 3 commits intomaingithub/vscode-codeql:mainfrom

nora/add-repo-to-listgithub/vscode-codeql:nora/add-repo-to-listCopy head branch name to clipboard