A reference for tools, configurations, and documentation used to monitor CircleCI server. - View it on GitHub