gitpod-io
diff --git a/‎components/public-api/gitpod/v1/user.proto
Lines changed: 1 addition & 1 deletion b/‎components/public-api/gitpod/v1/user.proto
Lines changed: 1 addition & 1 deletion
diff --git a/‎components/public-api/go/v1/user.pb.go
Lines changed: 38 additions & 38 deletions b/‎components/public-api/go/v1/user.pb.go
Lines changed: 38 additions & 38 deletions
diff --git a/‎components/public-api/typescript/src/gitpod/v1/user_pb.ts
Lines changed: 3 additions & 3 deletions b/‎components/public-api/typescript/src/gitpod/v1/user_pb.ts
Lines changed: 3 additions & 3 deletions
@@ -180,7 +180,7 @@ message User {
     ROLE_OR_PERMISSION_ADMIN_PERMISSIONS = 6;
     ROLE_OR_PERMISSION_ADMIN_USERS = 7;
     ROLE_OR_PERMISSION_ADMIN_WORKSPACE_CONTENT = 8;
-    ROLE_OR_PERMISSION_ADMIN_WORKSPACE = 9;
+    ROLE_OR_PERMISSION_ADMIN_WORKSPACES = 9;
     ROLE_OR_PERMISSION_ADMIN_PROJECTS = 10;
     ROLE_OR_PERMISSION_NEW_WORKSPACE_CLUSTER = 11;
   }
Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@ message User {`
`180`	`180`	`ROLE_OR_PERMISSION_ADMIN_PERMISSIONS = 6;`
`181`	`181`	`ROLE_OR_PERMISSION_ADMIN_USERS = 7;`
`182`	`182`	`ROLE_OR_PERMISSION_ADMIN_WORKSPACE_CONTENT = 8;`
`183`		`- ROLE_OR_PERMISSION_ADMIN_WORKSPACE = 9;`
	`183`	`+ ROLE_OR_PERMISSION_ADMIN_WORKSPACES = 9;`
`184`	`184`	`ROLE_OR_PERMISSION_ADMIN_PROJECTS = 10;`
`185`	`185`	`ROLE_OR_PERMISSION_NEW_WORKSPACE_CLUSTER = 11;`
`186`	`186`	`}`