Fix ticket #805: Remove .git directory if it already exists when checking out

2024-10-03 09:50:40 +02:00 · 2024-10-03 09:50:40 +02:00 · 696eb240f3
parent e86fa7bef0
commit 696eb240f3
1 changed files with 4 additions and 0 deletions
--- a/gitlib/gitlib.py
+++ b/gitlib/gitlib.py
@ -1480,6 +1480,10 @@ class OpengnsysGitLibrary:
        repo_url = self._getOgRepository(repo_name)
        real_git_dir = os.path.join(self.cache_dir, f"git-{repo_name}")

+        if os.path.exists(real_git_dir):
+            self.logger.debug(f"Removing existing repository {real_git_dir}")
+            shutil.rmtree(real_git_dir)
+
        self.logger.debug(f"URL: {repo_url}")

        all_metadata = self._get_repo_metadata(repo_name)