One question I have here: I like the idea of tightly-scoping repo2docker around what it does now: builds a docker image from a repository. When you mention adding a GUI, do you mean:
- adding a GUI for repo2docker in BinderHub? Or do you mean:
- building in the ability for repo2docker to serve webpages w/ an interface that funnels back to the repo2docker mechanism?
If it’s the former, perhaps we could re-name this title to “What would a BinderHub GUI for repo2docker look like?”
Another option is that this could actually be a totally separate project from either of these two things. A simple web-app that does 1 thing, which is "serve a web page with a GUI on it that adds a collection of files to a folder for subsequent building w/ a tool like repo2docker.