Christian Weichel
|
61b1b9b38e
|
[node-daemon] Remove because we don't copy Theia
to the node anymore. Instead, registry-facade serves the IDE.
The remaining sysctls were moved as init container to ws-daemon.
|
2021-02-18 09:25:56 +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
|
cab9957da9
|
[ws-manager] Make workspace seccomp profile configurable
|
2020-10-28 08:46:58 +01: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 |
|