aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authortechmetx11 <techmetx11@disroot.org>2024-08-17 18:04:20 +0100
committertechmetx11 <techmetx11@disroot.org>2024-08-17 18:04:20 +0100
commit215d32c76e5e9e598de6e4f8542316f80dd92f57 (patch)
treed3438cb8aa94b723f7a0fab363ab27b8a0a6d48f /.github
parent52097ac1ccae326e33b76a3a683220a67c85068b (diff)
Use Docker's builtin tini process, to run as PID 1 and handle SIGTERMs/SIGINTsHEADmaster
Fixes #20
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions