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 939c0513..c1d49f91 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; @@ -748,7 +748,7 @@ async function openDevContainer( baseUrl: string, workspaceOwner: string, workspaceName: string, - workspaceAgent: string | undefined, + workspaceAgent: string, devContainerName: string, devContainerFolder: string, ) {