Main repository for Docker files used in the Codeboxes client