https://github.com/github/codeql-coreql-team/issues/70 Slightly confusing that a database is a folder that can be navigated deeper into. We could allow the user to select the (suitably renamed) `.dbinfo` file instead.
https://github.com/github/codeql-coreql-team/issues/70
Slightly confusing that a database is a folder that can be navigated deeper into.
We could allow the user to select the (suitably renamed)
.dbinfofile instead.