Don't report workspace id

Author: mustard-mh

src/remote.ts

@@ -22,24 +22,24 @@ export interface WorkspaceRestartInfo {
 export class NoRunningInstanceError extends Error {
 	code = 'NoRunningInstanceError';
 	constructor(readonly workspaceId: string, readonly phase?: string) {
-		super(`Failed to connect to ${workspaceId} Gitpod workspace, workspace not running: ${phase}`);
-		this.name = 'NoRunningInstanceError'
+		super(`Failed to connect to Gitpod workspace, workspace not running: ${phase}`);
+		this.name = 'NoRunningInstanceError';
 	}
 }
 
 export class NoSSHGatewayError extends Error {
 	code = 'NoSSHGatewayError';
 	constructor(readonly host: string) {
 		super(`SSH gateway not configured for this Gitpod Host ${host}`);
-		this.name = 'NoSSHGatewayError'
+		this.name = 'NoSSHGatewayError';
 	}
 }
 
 export class NoExtensionIPCServerError extends Error {
 	code = 'NoExtensionIPCServer';
 	constructor() {
 		super('No Extension IPC Server running');
-		this.name = 'NoExtensionIPCServerError'
+		this.name = 'NoExtensionIPCServerError';
 	}
 }