Remove ignoreSourceArchive option from databases#2468

koesie10 merged 2 commits intomaingithub/vscode-codeql:mainfrom

koesie10/remove-ignore-source-archive-optiongithub/vscode-codeql:koesie10/remove-ignore-source-archive-optionCopy head branch name to clipboard