repo2docker is the tool that is used to build the images on mybinder.org . The philosophy behind its design is to reuse files that people already place in their repositories anyway. To keep the effort for making your repository reproducible as small as possible. Now there are a lot of repositories t…

What would a repo2docker GUI look like?

betatim Split this topic November 28, 2018, 10:33am 11

Topic		Replies	Views
The "mybinder.org, deconstructed" guide discuss	3	1154	November 28, 2018
Creating a new Binder-at-home tool Binder idea	14	3370	November 23, 2023
[ANN] repo2docker v0.10.0 Binder	0	324	August 9, 2019
Repo2docker (and mybinder.org) upgrading base image to ubuntu 22.04 Binder announcement , repo2docker	4	2992	October 20, 2023
Repo2Docker: make it easy to start from arbitrary docker image discuss	16	3087	April 27, 2019