mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* Revert "Revert "Refine workspace API (#19138)" (#19172)" This reverts commit a6f472255601ecd7574d33ae3015ea1c184b47d5. * Update to workspace cases * Add new cases and fix * Add timeout * fixup * Remove requirement of editor * Update cases * Bump version * Update dashboard