repo2docker

How we automated mybinder.org dependency upgrades in 10 steps

BinderHub and repo2docker are key components of the service mybinder.org; depending on them for the latest functionality demands that…

July 17, 2019 · Chris Hench