tree a8aaf976777f4508635c5a27e31138517dbd1563
parent 31e41d5ff705d9e211b28855c9367111b855e378
author Serge Bazanski <q3k@hackerspace.pl> 1598180727 +0000
committer Serge Bazanski <q3k@hackerspace.pl> 1598180757 +0000

devtools: fix sourcegraph

Permissions get mangled on container restart. This adds an init
container to fix them.

Change-Id: I37c44e23a75b8ec41e6aba2ed38eee223496b8b9