Deployment and Operation

• Pre-requisite technologies
  • Google Cloud Platform
  • Kubernetes
  • Helm
  • GitHub Actions
• 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
• Deploy a new mybinder.org federation member on a bare VM with k3s
  • VM requirements
  • Installing k3s
  • Extracting authentication information via a KUBECONFIG file
  • Create a new ssh key for mybinder team members
  • Setup DNS entries
  • Make a config + secret copy for this new member
  • Deploy binder!
  • Test and validate
  • Add to the redirector