addr = "127.0.0.1:5000"
repo_root = "./repos"
redis_url = "redis://127.0.0.1"