Closed
Description
Gitpod CLI should have a new command timeout extend
which will boost a workspace timeout.
To extend a timeout we should use Gitpod Server APIs similarly how it is done in VS Code extension.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done