mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
Without this, docker stop does not work well because sub processes are not killed. see https://github.com/krallin/tini#process-group-killing /werft no-preview