Retry if git clone failed

google · Feb 24, 2025 · 212aac2 · 212aac2
1 parent 9ece30f
commit 212aac2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/infra/cifuzz/filestore/git/__init__.py b/infra/cifuzz/filestore/git/__init__.py
@@ -32,6 +32,9 @@
 
 _PUSH_RETRIES = 3
 _PUSH_BACKOFF = 1
+_CLONE_RETRIES = 5
+_CLONE_DELAY   = 1
+_CLONE_BACKOFF = 2
 _GIT_EMAIL = '[email protected]'
 _GIT_NAME = 'CIFuzz'
 _CORPUS_DIR = 'corpus'
@@ -64,6 +67,7 @@ def __init__(self, config, ci_filestore):
   def __del__(self):
     shutil.rmtree(self.repo_path)
 
+  @retry.wrap(_CLONE_RETRIES, _CLONE_DELAY, _CLONE_BACKOFF)
   def _clone(self, repo_url):
     """Clones repo URL."""
     self._git('clone', repo_url, '.')