Open
Description
One thing missing for fully reproducible environments is a mechanism for pinning the version of repo2docker.
Several people have proposed ideas and it seems we have a plan: repo2docker will start, inspect a /binder/repo2docker.version
file that specifies the version (git commit or version) that the user wants to use and then restart/start a new copy of repo2docker in that version.
The way I'd start on this is to experiment with adding a new entrypoint/CLI script that starts the current repo2docker CLI script inside a container together with the right mounts(?). Docker hub has a collection of images for lots of git revisions which we can use.
(related #170)
Activity