Allow downloading multiple databases from GitHub#3073

koesie10 merged 2 commits intomaingithub/vscode-codeql:mainfrom

koesie10/download-multiple-github-databasesgithub/vscode-codeql:koesie10/download-multiple-github-databasesCopy head branch name to clipboard