Operations Guide

Team processes as well as useful information about what you might run into when maintaining mybinder.org.

• Common problems and their solutions
  • The Docker-in-Docker socket
  • Networking Errors
• Command snippets used during operations
  • The mybinder-tools Python repository
  • Cluster management
  • Pod management
  • Node management and information
  • Networking
  • Acronyms that Chris likes to use in Gitter
  • Getting pod logs on k3s
• Some useful Grafana plots
• The mybinder.org Federation
  • Adding or removing a federation member
  • Temporarily removing a federation member from rotation