Merge pull request #2449 from github/robertbrignull/queries-welcome

Add welcome text for the queries panel
This commit is contained in:
Robert
2023-05-25 17:01:13 +01:00
committed by GitHub

View File

@@ -1593,6 +1593,10 @@
"view": "codeQLQueryHistory",
"contents": "You have no query history items at the moment.\n\nSelect a database to run a CodeQL query and get your first results."
},
{
"view": "codeQLQueries",
"contents": "This workspace doesn't contain any CodeQL queries at the moment."
},
{
"view": "codeQLDatabases",
"contents": "Add a CodeQL database:\n[From a folder](command:codeQLDatabases.chooseDatabaseFolder)\n[From an archive](command:codeQLDatabases.chooseDatabaseArchive)\n[From a URL (as a zip file)](command:codeQLDatabases.chooseDatabaseInternet)\n[From GitHub](command:codeQLDatabases.chooseDatabaseGithub)"