helpers: git: retry clone

helps with intermitten DNS errors in CI maybe

Signed-off-by: Caleb Connolly <caleb@postmarketos.org>

pmb/helpers/git.py

@@ -56,7 +56,16 @@ def clone(name_repo: str) -> None:
         # Create parent dir and clone
         logging.info(f"Clone git repository: {url}")
         (get_context().config.work / "cache_git").mkdir(exist_ok=True)
-        pmb.helpers.run.user(command, output="stdout")
+        tries = 3
+        while tries > 0:
+            try:
+                pmb.helpers.run.user(command, output="stdout")
+                break
+            except RuntimeError as e:
+                tries -= 1
+                logging.error(f"Failed to clone repository, trying {tries} more times: {e}")
+                if tries == 0:
+                    raise
 
     # FETCH_HEAD does not exist after initial clone. Create it, so
     # is_outdated() can use it.