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