Name: binder-deployment
Owner: Binder
Description: Deployment scripts for binder service
Created: 2017-03-09 21:44:41.0
Updated: 2017-04-24 18:51:38.0
Pushed: 2017-08-18 01:58:39.0
Homepage: null
Size: 27
Language: Shell
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.