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