repo2docker

How we automated mybinder.org dependency upgrades in 10 steps

BinderHub and repo2docker are key components of the service at mybinder.org. In order to give Binder users the best experience, the Binder SRE...