Push decision to use credentials or not down to where the creds are used#3440

robertbrignull merged 2 commits intomaingithub/vscode-codeql:mainfrom

robertbrignull/database-download-credsgithub/vscode-codeql:robertbrignull/database-download-credsCopy head branch name to clipboard