gitpod

mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00

History

[dashboard, server] Add global custom timeout preference (#16503 )

* [dashboard] add custom global timeout user preference

Co-authored-by: George Tsiolis <tsiolis.g@gmail.com>

* [server] allow user custom global timeout

* [server] add `supportConfigureWorkspaceTimeout` and `updateWorkspaceTimeoutSetting` api

* [dashboard] use new api to configure workspace timeout setting

* [dashboard, server] use maySetTimeout

---------

Co-authored-by: George Tsiolis <tsiolis.g@gmail.com>

2023-03-03 09:30:00 +01:00

ee/src

[dashboard, server] Add global custom timeout preference (#16503 )

2023-03-03 09:30:00 +01:00

src

[dashboard, server] Add global custom timeout preference (#16503 )

2023-03-03 09:30:00 +01:00

test/fixtures/github

Move TypeFox/gitpod-test-repo to gitpod-io/gitpod-test-repo

2020-11-27 09:22:43 +01:00

BUILD.yaml

Fix server telepresence