Jean Pierre 10648e17f2

Redirect on workspace stop (#19314) ...

* Redirect to custom url when workspace stops

* Redirect to url when workspace stops

* Address feedback

* 💄

* 💄

* 💄

* 💄

* 💄

2024-01-12 16:33:49 +02:00

..

ide

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

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

shared

Redirect on workspace stop (#19314)

2024-01-12 16:33:49 +02:00

globals.d.ts

Switch license to AGPL

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

index.ts

Redirect on workspace stop (#19314)

2024-01-12 16:33:49 +02:00