Attempt to pull new tags if fetching a tag fails

radareorg · May 7, 2024 · 5578bee · 5578bee
1 parent ab6cce7
commit 5578bee
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/r2env/tools.py b/r2env/tools.py
@@ -81,7 +81,12 @@ def git_fetch(url, version, source_path):
                                       f"Verify the source path is not dirty. Error: {err}") \
             from err
     if version != "git":
-        repo.git.checkout(version)
+        try:
+            repo.git.checkout(version)
+        except git.GitCommandError:
+            # try again after pulling new tags from origin
+            repo.git.fetch("origin", "--tags")
+            repo.git.checkout(version)
     sms = repo.submodules
     for sm in sms:
         if not sm.module_exists():