11 Commits

Author	SHA1	Message	Date
Anton Kosyakov	9b3f8a2cc4	gp rebuild with isolated debug workspace ... Co-authored-by: Pudong Zheng <tianshi8650@gmail.com>	2023-02-06 14:47:44 +01:00
Christian Weichel	478a75e744	Switch license to AGPL	2022-12-08 13:05:19 -03:00
Pudong Zheng	d9955ccc74	Add SSH Gateway to ws-proxy	2022-01-06 17:29:00 +01:00
Manuel Alejandro de Brito Fontes	a30a1bff48	Add ExposedPorts message and remove Target and GlobalPort	2021-11-05 10:33:03 +01:00
Cornelius A. Ludmann	79542d659c	[supervisor-api] Add Java gRPC API ... /werft no-preview	2021-10-11 05:44:57 -03:00
Manuel Alejandro de Brito Fontes	6c360cdd79	Update supervisor	2021-03-12 12:54:40 -03:00
Christian Weichel	b7dda84ad0	[license] Update license header from TypeFox GmbH to Gitpod GmbH	2021-01-04 15:12:02 +01:00
Christian Weichel	caefb5f149	[supervisor-api] Move to latest grpc-gateway	2020-11-24 09:59:57 +01:00
Anton Kosyakov	49b95bf029	[supervisor] incremental port updates	2020-11-04 05:50:23 +01:00
Anton Kosyakov	94981bd214	[theia] move port handling to the supervisor	2020-11-04 05:50:23 +01:00
Christian Weichel	1a509f2f23	[supervisor] Add ws-manager-node IWH to support triggering uid mappings	2020-10-13 11:10:53 +02:00