Extend WorkspaceClusterFilter in gitpod-protocol

Andrew Farries · Andrew Farries · commit 7e550ef03a46 · 2022-10-19T11:23:46.000Z
Allow filtering by name and applicationCluster.
diff --git a/components/gitpod-protocol/src/workspace-cluster.ts b/components/gitpod-protocol/src/workspace-cluster.ts
@@ -104,6 +104,7 @@ export interface WorkspaceClusterDB {
      */
     findFiltered(predicate: DeepPartial<WorkspaceClusterFilter>): Promise<WorkspaceClusterWoTLS[]>;
 }
-export interface WorkspaceClusterFilter extends Pick<WorkspaceCluster, "state" | "govern" | "url"> {
+export interface WorkspaceClusterFilter
+    extends Pick<WorkspaceCluster, "name" | "state" | "govern" | "url" | "applicationCluster"> {
     minScore: number;
 }

Original file line number	Diff line number	Diff line change
`@@ -104,6 +104,7 @@ export interface WorkspaceClusterDB {`
`104`	`104`	`*/`
`105`	`105`	`findFiltered(predicate: DeepPartial<WorkspaceClusterFilter>): Promise<WorkspaceClusterWoTLS[]>;`
`106`	`106`	`}`
`107`		`-export interface WorkspaceClusterFilter extends Pick<WorkspaceCluster, "state" \| "govern" \| "url"> {`
	`107`	`+export interface WorkspaceClusterFilter`
	`108`	`+ extends Pick<WorkspaceCluster, "name" \| "state" \| "govern" \| "url" \| "applicationCluster"> {`
`108`	`109`	`minScore: number;`
`109`	`110`	`}`