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:31am 9

The "mybinder.org, deconstructed" guide

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