Server to run benchmarks for public Github repos