Home
Getting started
Deployment and Operation
Operations Guide
Components
Analytics
Incident reporting
Pre-requisite technologies
How to deploy a change to mybinder.org?
What does a MyBinder.org deployment do?
Deployment and Operation
ΒΆ
Pre-requisite technologies
Google Cloud Platform
Kubernetes
Helm
Travis
How to deploy a change to mybinder.org?
Deployment policy
Updating BinderHub
Updating repo2docker
Deploying a change
Changing the mybinder.org infrastructure
What does a MyBinder.org deployment do?
Stage 1: Installing deployment tools
Stage 2: Configuring deployment tools
Stage 3: Deploy to staging
Stage 4: Deploy to production
Terminology for the deployment
Pre-requisite technologies