15 Commits

Author	SHA1	Message	Date
Manuel Alejandro de Brito Fontes	227cefb74d	[ws-manager] Remove unused code	2021-03-08 06:34:59 -03:00
Christian Weichel	b120900fc6	[ws-manager] Reenable housekeeping	2021-03-03 16:04:20 +01:00
Manuel Alejandro de Brito Fontes	2b6a56bc40	Update go imports	2021-03-02 06:37:49 -03:00
Manuel Alejandro de Brito Fontes	08774bd177	[ws-manager] Switch to controller-runtime abstraction	2021-03-01 14:00:58 -03:00
Christian Weichel	0fd958c8da	[ws-manager] Make compatible with Kubernetes v1.20.1	2021-01-11 15:25:05 +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	71d616c363	[ws-manager] Don't complain when dangling service is already gone	2020-12-03 14:43:20 +01:00
Christian Weichel	8d7deffb49	[ws-manager] Less noisy marking of timed out WS in intermediate state	2020-11-27 09:57:18 +01:00
Anton Kosyakov	2b74b1e742	[dashboard] redirect from prebuild only when it is stopped	2020-11-25 16:24:46 +01:00
Christian Weichel	b914e2df86	[ws-daemon] Allow user-namespaced ops only in user-namespaced workspaces	2020-11-05 08:08:32 +01:00
Christian Weichel	16ae8cc5cf	[ws-sync] Provide shiftfs mark mount upon request	2020-10-23 16:20:08 +02:00
Christian Weichel	8d1664f81f	[ws-daemon] Search and replace ws-sync ... This should have happened in #2003 /werft https=true	2020-10-19 10:26:18 +02:00
Christian Weichel	7172d822c7	[ws-daemon] Fold ws-manager-node into ws-daemon	2020-10-19 07:46:04 +02:00
Christian Weichel	6d93dd8348	[ws-daemon] Rename ws-sync to ws-daemon	2020-10-19 07:46:04 +02:00
gitpod-init	24f7b609bf	initial commit	2020-08-25 09:25:15 +00:00