mirror of
https://github.com/github/codeql.git
synced 2025-12-16 08:43:11 +01:00
Fix the name of the vscode extension recommendation
The name is case sensitive so it didn't work before.
This commit is contained in:
committed by
GitHub
parent
c027f3bd2b
commit
5ce0974eb2
4
.vscode/extensions.json
vendored
4
.vscode/extensions.json
vendored
@@ -3,8 +3,8 @@
|
|||||||
// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
|
// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
|
||||||
// List of extensions which should be recommended for users of this workspace.
|
// List of extensions which should be recommended for users of this workspace.
|
||||||
"recommendations": [
|
"recommendations": [
|
||||||
"github.vscode-codeql"
|
"GitHub.vscode-codeql"
|
||||||
],
|
],
|
||||||
// List of extensions recommended by VS Code that should not be recommended for users of this workspace.
|
// List of extensions recommended by VS Code that should not be recommended for users of this workspace.
|
||||||
"unwantedRecommendations": []
|
"unwantedRecommendations": []
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user