Skip to main content
Ctrl+K
Site Reliability Guide for mybinder.org  documentation - Home Site Reliability Guide for mybinder.org  documentation - Home
  • Getting started
  • Deployment and Operation
  • Operations Guide
  • Components
  • Analytics
    • Incident reporting
  • GitHub
  • Twitter
  • Discourse
  • Team Compass
  • Getting started
  • Deployment and Operation
  • Operations Guide
  • Components
  • Analytics
  • Incident reporting
  • GitHub
  • Twitter
  • Discourse
  • Team Compass

Section Navigation

  • Pre-requisite technologies
  • How to deploy a change to mybinder.org?
  • What does a MyBinder.org deployment do?
  • Deploy a new mybinder.org federation member on a bare VM with k3s
  • Deployment and Operation

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

previous

Terminology for the deployment

next

Pre-requisite technologies

Edit on GitHub

This Page

  • Show Source

© Copyright 2017 - 2025, Binder Team.

Created using Sphinx 7.4.7.

Built with the PyData Sphinx Theme 0.16.1.