# ci-server-config Configuration for the CI server.