Name: binder-ci
Owner: Binder
Description: An HTTP server that reinstalls/restarts Binder on request from a CI server
Created: 2016-07-29 17:14:24.0
Updated: 2016-07-29 17:14:24.0
Pushed: 2017-08-18 02:46:06.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.
An HTTP server that reinstalls/restarts Binder on request from a CI server