Server to run benchmarks for Github repos