6 Commits

Author	SHA1	Message	Date
Cornelius A. Ludmann	afd3d1ff33	[wsman] Add support to talk to older WorkspaceManagers ... The package/namespace of gRPC has been changed from 'protocol' to 'wsman'. This commit adds the option to configure WorkspaceManager with legacy = true in order to use the old namespace for certain WorkspaceManager instances. This should probably be reverted as soon as we do not need to talk to legacy WorkspaceManagers anymore.	2020-11-27 19:46:15 +01:00
Christian Weichel	2f5cca3ff0	[ws-manager] Provide user namespacing ability using a feature flag	2020-10-13 11:10:53 +02:00
Christian Weichel	012e34ad76	[license-header] Re-apply license header	2020-09-04 14:12:06 +02:00
Christian Weichel	3a84d35b36	[ws-manager] Report IDE image as part of the workspace spec ... Note: this change is not backwards compatible as it makes incompatible changes to the protocol.	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