wip: increase number of retries

jthodge · Oct 17, 2023 · d3387b6 · d3387b6
1 parent d17de44
commit d3387b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_db.py b/build_db.py
@@ -69,7 +69,7 @@ def build_database(repo_path):
             retries = 0
             response = None
 
-            while retries < 3:
+            while retries < 10:
                 headers = {}
                 if os.environ.get("GITHUB_TOKEN"):
                     headers = {