From 5ce0974eb2d4501fcd4eff872416f033bd1319de Mon Sep 17 00:00:00 2001
From: Alexander Eyers-Taylor <alexet@github.com>
Date: Thu, 1 Oct 2020 14:40:45 +0100
Subject: [PATCH] Fix the name of the vscode extension recommendation

The name is case sensitive so it didn't work before.
---
 .vscode/extensions.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index 8465a7c2f86..8eec4887a1e 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -3,8 +3,8 @@
     // Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
     // List of extensions which should be recommended for users of this workspace.
     "recommendations": [
-        "github.vscode-codeql"
+        "GitHub.vscode-codeql"
     ],
     // List of extensions recommended by VS Code that should not be recommended for users of this workspace.
     "unwantedRecommendations": []
-}
\ No newline at end of file
+}