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