Don't duplicate .repos files

ika-rwth-aachen · May 23, 2023 · 9ef4594 · 9ef4594
1 parent a8bb9e4
commit 9ef4594
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/recursive_vcs_import.py b/recursive_vcs_import.py
@@ -35,7 +35,7 @@ def main():
 
         cloned_repos.append(next_repo)
 
-    print(" ".join([str(repo) for repo in found_repos]))
+    print(" ".join([str(repo) for repo in set(found_repos)]))
 
 
 if __name__ == "__main__":