These resources describe how to get started with the mybinder.org operations team. It contains checklists of steps to take to make sure you have the right permissions, as well as contextual information about the mybinder.org deployment.
- Getting started with the
- Production environment
- Terminology for the deployment