Skip to content
Deployment config files for
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
.github make it even easier to make version bumps Dec 11, 2018
config Make OVH ingress config similar to gke one Jun 8, 2019
docs Explanations about ovh certificates exceptions on SRE guide Jun 6, 2019
images Setup headers for CORS (#1009) Jun 6, 2019
mybinder Increase OVH to 25% Jun 14, 2019
scripts change r2d source to dockerhub Apr 14, 2019
secrets Add secret and setup to write events from OVH Jun 6, 2019
tests Use "weird" timeouts May 31, 2019
travis Create annotation in Grafana whenever we do a deployment Feb 16, 2018
.gitattributes Protect secrets/config Oct 26, 2017
.gitignore Ignore local env Apr 27, 2019
.travis.yml Enable federation for Jun 6, 2019
LICENSE Initial commit May 22, 2017 Update Apr 10, 2019 Add a new "operations" section to the SRE guide Jan 25, 2018
chartpress.yaml Add a redirector for the federation May 26, 2019 Change OVH ingress to serve two hostnames Jun 8, 2019
readthedocs.yml Correct typo Nov 29, 2017
requirements.txt mark proxy-patches test as flaky Dec 4, 2018

Deployment: Build Status

Deployment, configuration, and Site Reliability documentation files for the public service.

Deploying a Binder Service other than

These files are specific to 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

Site Reliability Guide, the collected wisdom of operating

Amongst other things the guide contains:

Key Links

Staging Production
TravisCI Deployment Build Status (both)
Deployment checklist staging prod
Monitoring staging prod
Helm chart dev stable
JupyterHub dev stable
BinderHub dev -
You can’t perform that action at this time.