Add email address to the user

filiptronicek · filiptronicek · commit f459c955f43a · 2023-04-22T10:09:58.000Z
diff --git a/components/server/src/workspace/gitpod-server-impl.ts b/components/server/src/workspace/gitpod-server-impl.ts
@@ -3328,7 +3328,8 @@ export class GitpodServerImpl implements GitpodServerWithTracing, Disposable {
 
     async getIDEOptions(ctx: TraceContext): Promise<IDEOptions> {
         const user = this.checkUser("identifyUser");
-        const ideConfig = await this.ideService.getIDEConfig({ user });
+        const email = User.getPrimaryEmail(user);
+        const ideConfig = await this.ideService.getIDEConfig({ ...user, email });
         return ideConfig.ideOptions;
     }
 

Original file line number	Diff line number	Diff line change
`@@ -3328,7 +3328,8 @@ export class GitpodServerImpl implements GitpodServerWithTracing, Disposable {`
`3328`	`3328`
`3329`	`3329`	`async getIDEOptions(ctx: TraceContext): Promise<IDEOptions> {`
`3330`	`3330`	`const user = this.checkUser("identifyUser");`
`3331`		`- const ideConfig = await this.ideService.getIDEConfig({ user });`
	`3331`	`+ const email = User.getPrimaryEmail(user);`
	`3332`	`+ const ideConfig = await this.ideService.getIDEConfig({ ...user, email });`
`3332`	`3333`	`return ideConfig.ideOptions;`
`3333`	`3334`	`}`
`3334`	`3335`