From ef6abbb6f7ce403996b86ad4770a5616604aa2a2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 20 Oct 2017 09:54:45 +0200
Subject: [PATCH] fix gitlab-extract
---
benchmark/gitlab-extract.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/benchmark/gitlab-extract.py b/benchmark/gitlab-extract.py
index 563a06aad..8101bb82b 100755
--- a/benchmark/gitlab-extract.py
+++ b/benchmark/gitlab-extract.py
@@ -45,7 +45,7 @@ if args.commits is None:
last_result = last(parse_log.parse(open(args.file, "r"), parse_times = False))
args.commits = "{}..origin/master".format(last_result.commit)
-projects = req("projects")
+projects = req("projects?per_page=512")
project = first(filter(lambda p: p['path_with_namespace'] == args.project, projects.json()))
if project is None:
sys.stderr.write("Project not found.\n")
--
GitLab