From aa6652f417c9b363513d91573a6105b03a441121 Mon Sep 17 00:00:00 2001 From: Shati Patel <42641846+shati-patel@users.noreply.github.com> Date: Wed, 7 Feb 2024 12:43:53 +0000 Subject: [PATCH 1/2] Don't prompt to download database for this repo --- tutorial.code-workspace | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tutorial.code-workspace b/tutorial.code-workspace index ad5cb58..117d683 100644 --- a/tutorial.code-workspace +++ b/tutorial.code-workspace @@ -5,6 +5,7 @@ } ], "settings": { - "codeQL.codespacesTemplate": true + "codeQL.codespacesTemplate": true, + "codeQL.githubDatabase.download": "never" } -} \ No newline at end of file +} From 3c77cbe76c90cf84494de0ba4d6c1e689d2a95f3 Mon Sep 17 00:00:00 2001 From: Shati Patel <42641846+shati-patel@users.noreply.github.com> Date: Wed, 7 Feb 2024 13:59:28 +0000 Subject: [PATCH 2/2] Update tutorial.code-workspace Co-authored-by: Koen Vlaswinkel --- tutorial.code-workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tutorial.code-workspace b/tutorial.code-workspace index 117d683..5ba4103 100644 --- a/tutorial.code-workspace +++ b/tutorial.code-workspace @@ -6,6 +6,6 @@ ], "settings": { "codeQL.codespacesTemplate": true, - "codeQL.githubDatabase.download": "never" + "codeQL.githubDatabase.download": "never", } }