mark pushed to main at mark/theia-code-os

mark
Sun, 08 Mar 2026 20:36:09 +0000

23c4956d38b71ea342a97a7bfe9ce960d171216e fix: pre-create /home/project with correct ownership