The source project of this merge request has been removed.
Allow running docker container as non-root (quick fix)
Fix for !1375 (merged)
Directories cloned by CI have other permissions than local clone. This should fix it for now and future.
Fix for !1375 (merged)
Directories cloned by CI have other permissions than local clone. This should fix it for now and future.