Sounds about right. There is a third option: help mybinder.org figure out where/if/how we can use docker hub credentials. But that is a whole new level of commitment 
Sounds about right. There is a third option: help mybinder.org figure out where/if/how we can use docker hub credentials. But that is a whole new level of commitment