Display nicer names for github-downloaded databases#1294

aeisenberg merged 1 commit intomaingithub/vscode-codeql:mainfrom

aeisenberg/db-name-githubgithub/vscode-codeql:aeisenberg/db-name-githubCopy head branch name to clipboard