From e86fa7bef0d6b608a2b49f48338c6c8d956657cb Mon Sep 17 00:00:00 2001
From: Vadim Trochinsky <git@vadim.ws>
Date: Wed, 2 Oct 2024 12:23:47 +0200
Subject: [PATCH] Fix ticket #802: .git directory in filesystem root

---
 gitlib/gitlib.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gitlib/gitlib.py b/gitlib/gitlib.py
index 26238a8..e518a0e 100755
--- a/gitlib/gitlib.py
+++ b/gitlib/gitlib.py
@@ -1478,6 +1478,8 @@ class OpengnsysGitLibrary:
 
 
         repo_url = self._getOgRepository(repo_name)
+        real_git_dir = os.path.join(self.cache_dir, f"git-{repo_name}")
+
         self.logger.debug(f"URL: {repo_url}")
 
         all_metadata = self._get_repo_metadata(repo_name)
@@ -1512,7 +1514,7 @@ class OpengnsysGitLibrary:
 
         self._delete_contents(destination_dir)
 
-        repo = git.Repo.clone_from(repo_url, destination_dir)
+        repo = git.Repo.clone_from(repo_url, destination_dir, multi_options = [f"--separate-git-dir={real_git_dir}"])
 
         if repo_is_efi:
             self._efi_install(boot_device, destination_dir)