Site Reliability Guide for mybinder.org

This site is a collection of wisdom, tools, and other helpful information to assist in the maintenance and team-processes around the BinderHub deployment at mybinder.org.

If you are looking for documentation on how to use mybinder.org, see the mybinder.org user documentation. If you are looking for information on deploying your own BinderHub see the BinderHub documentation.

What is the mybinder.org operations team?

Behind the mybinder.org deployment is a team of contributors that donate their time to keeping mybinder.org running smoothly. This role is often called a Site Reliability Engineer. (or SRE). We informally call this team the “mybinder.org operators”.

This site is a collection of wisdom, tools, and other helpful information that the mybinder.org operations team uses for maintenance and team-processes around the BinderHub deployment at mybinder.org.

If you are interested in helping the mybinder.org operations team, first check out this post on what an operator does. To show your interest in helping, please reach out to the operations team via this Discourse thread.

Analytics

A public events archive with data about daily Binder launches.

Indices and tables