We want to make the repo public, so that interested parties can collaborate. This is in no way a release or something like that, but we want to make it as easy as possible for anyone to git learn what Theia is, what it is going to be and how to use and/or collaborate. So we should provide a working application, as well as developer's documentation.