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 Some useful Grafana plots The mybinder.org Federation Adding or removing a federation member Temporarily removing a federation member from rotation