mybinder.org-deploy
Deployment, configuration, and Site Reliability documentation files for the public mybinder.org service.
Deploying a Binder Service other than mybinder.org
These files are specific to mybinder.org.
If you wish to deploy your own Binder instance, please do not use these files.
Instead, you should review the BinderHub documentation and the
jupyterhub/binderhub
repo to set up your deployment.
Site Reliability Guide
Site Reliability Guide, the collected wisdom of operating mybinder.org.
Amongst other things the guide contains:
- How to do a deployment
- What happens during a deployment?
- Incident reports for past incidents
- Incident report template
Key Links
Staging | Production | |
---|---|---|
Site | staging.mybinder.org | mybinder.org |
CI Deployment | (both) | |
Deployment checklist | staging | prod |
Monitoring | staging | prod |
Helm chart | dev | stable |
---|---|---|
JupyterHub | dev | stable |
BinderHub | dev | - |