From 483445f3beec6a42e39ff831e9024c461aa8ebd0 Mon Sep 17 00:00:00 2001
From: Poikilos <7557867+poikilos@users.noreply.github.com>
Date: Wed, 11 Mar 2026 08:37:32 -0400
Subject: [PATCH] Remove git metadata from built destination.

---
 pyenliven/gamebuilder.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/pyenliven/gamebuilder.py b/pyenliven/gamebuilder.py
index a965db5..c72f8f1 100644
--- a/pyenliven/gamebuilder.py
+++ b/pyenliven/gamebuilder.py
@@ -65,7 +65,7 @@ class GameBuilder:
         echo0("Copying minetest_game → ENLIVEN ...")
         shutil.copytree(self.source_game, self.target_game)
 
-    def install_mod(self, entry: Dict[str, any]):
+    def install_mod(self, entry: Dict[str, any], remove_git=True):
         name = entry.get('name')
         repo = entry.get('repo')
         branch = entry.get('branch')
@@ -160,6 +160,11 @@ class GameBuilder:
         # if os.path.isdir(dest_git):
         #     shutil.rmtree(dest_git)
         self.meta['mods'][name] = entry
+        if remove_git:
+            destGit = os.path.join(dest, ".git")
+            if os.path.isdir(destGit):
+                print(f"rm -rf {repr(destGit)}")
+                shutil.rmtree(destGit)
 
     def remove_mod(self, name: str):
         path = os.path.join(self.mods_target, name)