rl-gitpod
|
87ea360977
|
[gpctl] add workspace backup command
|
2021-09-30 04:50:47 -03:00 |
|
Manuel Alejandro de Brito Fontes
|
dfda855db9
|
Embed the Unimplemented implementation
|
2021-04-07 07:39:04 -04:00 |
|
Manuel Alejandro de Brito Fontes
|
1e1b3ae459
|
Update ws-manager
|
2021-03-12 12:54:40 -03:00 |
|
Anton Kosyakov
|
0623a65543
|
[supervisor-api] fix generate.sh script
and add missing copyrights
|
2021-03-08 09:48:50 +01:00 |
|
Gero Posmyk-Leinemann
|
9be229e4a2
|
[admin] More runtime info: podName and nodeIp (#3197)
* [admin] Render additional workspace properties
* [protocol] add instance.status.podName
* [protocol] Introduce instance.status.nodeIp
|
2021-02-23 10:19:26 +01:00 |
|
Christian Weichel
|
5b6325f0de
|
Remove privileged feature flag and permission
now that we have user-namespaced workspaces the privileged flag
has become even more of a nuisance and technical debt.
Fixes gitpod-io/gitpod#3058
|
2021-02-12 09:19:48 +01:00 |
|
Christian Weichel
|
b7dda84ad0
|
[license] Update license header from TypeFox GmbH to Gitpod GmbH
|
2021-01-04 15:12:02 +01:00 |
|
Christian Weichel
|
012e34ad76
|
[license-header] Re-apply license header
|
2020-09-04 14:12:06 +02:00 |
|
Christian Weichel
|
757c19a935
|
[registry-facade] Move from theia version to IDE image
This move allows us to specify an IDE docker image at workspace startup,
rather than just selecting from a fixed set of Theia images.
|
2020-09-04 14:12:06 +02:00 |
|
gitpod-init
|
24f7b609bf
|
initial commit
|
2020-08-25 09:25:15 +00:00 |
|