Append commit to repo path when commit-pinning

stephane-caron · Stéphane Caron · commit 21100856683d · 2023-02-08T18:57:12.000+01:00
diff --git a/robot_descriptions/_cache.py b/robot_descriptions/_cache.py
@@ -131,7 +131,10 @@ def clone_to_cache(description_name: str, commit: Optional[str] = None) -> str:
         )
     )
 
-    target_dir = os.path.join(cache_dir, repository.cache_path)
+    cache_path = repository.cache_path
+    if commit is not None:
+        cache_path += f"-{commit}"
+    target_dir = os.path.join(cache_dir, cache_path)
     clone = clone_to_directory(
         repository.url,
         target_dir,

Original file line number	Diff line number	Diff line change
`@@ -131,7 +131,10 @@ def clone_to_cache(description_name: str, commit: Optional[str] = None) -> str:`
`131`	`131`	`)`
`132`	`132`	`)`
`133`	`133`
`134`		`- target_dir = os.path.join(cache_dir, repository.cache_path)`
	`134`	`+ cache_path = repository.cache_path`
	`135`	`+ if commit is not None:`
	`136`	`+ cache_path += f"-{commit}"`
	`137`	`+ target_dir = os.path.join(cache_dir, cache_path)`
`135`	`138`	`clone = clone_to_directory(`
`136`	`139`	`repository.url,`
`137`	`140`	`target_dir,`