mustard f68c049786 [supervisor] remove ports for workspace config

2022-11-18 12:17:48 +02:00

..

activation

[supervisor] Lint code

2021-11-03 14:58:11 +01:00

config

[supervisor] fix gitpod config changed analytics

2022-08-09 09:54:53 -03:00

dropwriter

[supervisor] Lint code

2021-11-03 14:58:11 +01:00

metrics

fix #13710: reduce cost of supervisor observability

2022-10-18 08:55:33 +02:00

ports

[supervisor] remove ports for workspace config

2022-11-18 12:17:48 +02:00

supervisor

[supervisor] disable analyze in headless workspace

2022-11-09 14:50:39 +01:00

terminal

[supervisor] shutdown processes gracefully

2022-10-07 13:09:22 +02:00