gitpod

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

History

Gero Posmyk-Leinemann 414ee45983

[supervisor] Frontend: re-try + track "checkReady" (#20175 )

* [ws-proxy] Log whenever we can't connect to an upstream

* [protocol] Fix linter error

* [supervisor] Frontend: re-connect every 5s + track behavior

* [supervisor] Frontend: Guard connection re-try with feature flag "supervisor_check_ready_retry"

2024-09-05 10:54:48 -04:00

public

Switch license to AGPL

2022-12-08 13:05:19 -03:00

src

[supervisor] Frontend: re-try + track "checkReady" (#20175 )

2024-09-05 10:54:48 -04:00

BUILD.yaml

decouple gitpod-protocol from public-api (#19151 )

2023-11-29 10:36:06 +02:00

config.json

[supervisor-frontend] add version commit