Jean Pierre
|
a997229da8
|
[public-api] Add installation service (#19150)
* Add installation service
* Fix dashboard
* Fix
* Fix
---------
Co-authored-by: Huiwen <mhqnwt@gmail.com>
|
2023-11-30 01:12:07 +02:00 |
|
Christian Weichel
|
da0c5901b4
|
Refine workspace API (#19138)
* Refine workspace API
* Fix build
* update proto
* fix rebase
* fix rebase - 2
* 1
* fix editor
* Update doc
---------
Co-authored-by: Huiwen <mhqnwt@gmail.com>
|
2023-11-29 16:15:07 +02:00 |
|
Anton Kosyakov
|
2f14d7a2fe
|
decouple gitpod-protocol from public-api (#19151)
to prevent rebuilding of components which dependent on gitpod-protocol, but not public-api on an API change
|
2023-11-29 10:36:06 +02:00 |
|