A CI tool that frontends to github et al. and backends to BaTLaB - View it on GitHub