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