Logo image Logo image
  • Getting started
  • Deployment and Operation
  • Operations Guide
  • Components
  • Analytics
  • Incident reporting
  • Pre-requisite technologies
  • How to deploy a change to mybinder.org?
  • What does a MyBinder.org deployment do?
Edit this page

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

previous

Terminology for the deployment

next

Pre-requisite technologies

© Copyright 2017 - 2022, Binder Team.

Created using Sphinx 5.1.1.