mybinder.org-deploy
mybinder.org-deploy copied to clipboard
Deployment config files for mybinder.org
mybinder.org-deploy
Deployment, configuration, and Site Reliability documentation files for the public mybinder.org service.
Please note that this repository is participating in a study into sustainability of open source projects. Data will be gathered about this repository for approximately the next 12 months, starting from 2021-06-11.
Data collected will include number of contributors, number of PRs, time taken to close/merge these PRs, and issues closed.
For more information, please visit our informational page or download our participant information sheet.
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 ![Documentation Status](https://readthedocs.org/projects/mybinder-sre/badge/?version=latest)
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 | ||
Deployment checklist | staging | prod |
Monitoring | staging | prod |
Helm chart | dev | stable |
---|---|---|
JupyterHub | dev | stable |
BinderHub | dev | - |