Name: binder-deploy
Owner: Binder
Description: Deployment scripts and Docker images for Binder
Created: 2015-09-28 19:57:03.0
Updated: 2017-08-18 02:54:29.0
Pushed: 2017-08-18 02:54:28.0
Homepage: null
Size: 1
Language: null
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
:books: Same functionality. Better performance for you. :books:
Over the past few months, we've been improving Binder's architecture and infrastructure. We're retiring this repo as it will no longer be actively developed. Future development will occur under the JupyterHub organization.
Thanks for updating your bookmarked links.
Deployment scripts and Docker images for Binder