From 1b556798eec994b9c2c24f05108072a1ea5c609d Mon Sep 17 00:00:00 2001 From: Ethan Dickson Date: Tue, 24 Jun 2025 19:28:31 +1000 Subject: [PATCH 1/3] fix: handle agent parameter in URIs --- src/commands.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/commands.ts b/src/commands.ts index 939c0513..2350d614 100644 --- a/src/commands.ts +++ b/src/commands.ts @@ -600,7 +600,7 @@ export class Commands { } else { workspaceOwner = args[0] as string; workspaceName = args[1] as string; - // workspaceAgent is reserved for args[2], but multiple agents aren't supported yet. + workspaceAgent = args[2] as string | undefined; folderPath = args[3] as string | undefined; openRecent = args[4] as boolean | undefined; } @@ -628,7 +628,7 @@ export class Commands { const workspaceOwner = args[0] as string; const workspaceName = args[1] as string; - const workspaceAgent = undefined; // args[2] is reserved, but we do not support multiple agents yet. + const workspaceAgent = args[2] as string; const devContainerName = args[3] as string; const devContainerFolder = args[4] as string; From 305d01548c92786fa75d1ebde2dbf054fad9d24a Mon Sep 17 00:00:00 2001 From: Ethan Dickson Date: Tue, 24 Jun 2025 19:40:24 +1000 Subject: [PATCH 2/3] fixup --- .git-blame-ignore-revs | 5 +++++ src/commands.ts | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 .git-blame-ignore-revs diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs new file mode 100644 index 00000000..f828a379 --- /dev/null +++ b/.git-blame-ignore-revs @@ -0,0 +1,5 @@ +# If you would like `git blame` to ignore commits from this file, run: +# git config blame.ignoreRevsFile .git-blame-ignore-revs + +# chore: simplify prettier config (#528) +f785902f3ad20d54344cc1107285c2a66299c7f6 \ No newline at end of file diff --git a/src/commands.ts b/src/commands.ts index 2350d614..991671f3 100644 --- a/src/commands.ts +++ b/src/commands.ts @@ -628,7 +628,7 @@ export class Commands { const workspaceOwner = args[0] as string; const workspaceName = args[1] as string; - const workspaceAgent = args[2] as string; + const workspaceAgent = args[2] as string; const devContainerName = args[3] as string; const devContainerFolder = args[4] as string; From 804d2fef09a423e318df4454c79a43aad588e38c Mon Sep 17 00:00:00 2001 From: Ethan Dickson Date: Tue, 24 Jun 2025 19:42:41 +1000 Subject: [PATCH 3/3] fixup --- src/commands.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands.ts b/src/commands.ts index 991671f3..c1d49f91 100644 --- a/src/commands.ts +++ b/src/commands.ts @@ -748,7 +748,7 @@ async function openDevContainer( baseUrl: string, workspaceOwner: string, workspaceName: string, - workspaceAgent: string | undefined, + workspaceAgent: string, devContainerName: string, devContainerFolder: string, ) {