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	1272	November 28, 2018
Creating a new Binder-at-home tool Binder idea	14	3834	November 23, 2023
Repo2Docker: make it easy to start from arbitrary docker image discuss	16	3431	April 27, 2019
Repo2docker roadmap review discuss	18	1418	December 12, 2018
Building a "The Littlest BinderHub" BinderHub	9	2104	September 15, 2023