This repository contains the configuration files, and a little bit of code used in the deployment of our CI system. This repository also includes documentation on how everything is setup. See the index for the entry point to the documentation.