Name: binder-log-streamer
Owner: Binder
Description: WebSocket server for streaming Binder logs
Created: 2016-01-18 23:24:54.0
Updated: 2016-01-18 23:24:54.0
Pushed: 2017-08-18 02:53:09.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.
WebSocket server for streaming Binder logs