Filip Troníček
|
880f186042
|
gp timeout set and gp timeout show to echo back the server-interpreted display duration
This means that 1439m doesn't become "1439 minutes", but rather "29 hours and 59 minutes"
|
2023-02-10 11:38:15 +01:00 |
|
Filip Troníček
|
90a865f269
|
Update gp timeout set help text to match backend
|
2023-02-10 11:38:15 +01:00 |
|
Pudong Zheng
|
352393456b
|
gitpod-cli: add analytics
Co-authored-by: Andrea Falzetti <andrea@gitpod.io>
|
2023-02-08 17:43:46 +01:00 |
|
Sven Efftinge
|
95996df038
|
[server, cli] Allow flexible workspace timeouts
|
2023-01-18 16:14:26 +01:00 |
|