From 68781aeab002437c3e9360d9ad3037b5b41bd988 Mon Sep 17 00:00:00 2001
From: David Barsky <me@davidbarsky.com>
Date: Tue, 5 Sep 2023 12:34:11 -0400
Subject: [PATCH] fix some more lints

---
 editors/code/src/commands.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts
index d8e1886de3..245557b1e8 100644
--- a/editors/code/src/commands.ts
+++ b/editors/code/src/commands.ts
@@ -878,7 +878,7 @@ export function addProject(ctx: CtxInit): Cmd {
         }
 
         const command = `${extensionName}.discoverWorkspaceCommand`;
-        const project = await vscode.commands.executeCommand(command);
+        const project: JsonProject = await vscode.commands.executeCommand(command);
 
         ctx.addToDiscoveredWorkspaces([project]);