mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* Update spicedb schema * SpiceDB gen code * [server] add collaborator * Update papi * Dashboard * nit * Complete TODOs * server dataops pass teamId * Add test cases for collaborator's PAT and cookie API fetch * Add test case description * remove unnecessary export * Redirect to dashboard after join an org * Hide settings for collaborator * dataops join via oidc should be collaborator * Fix test * Goes back to /workspaces