From aaacf18772348a19815dbd05a67415faa895d3ab Mon Sep 17 00:00:00 2001
From: mpeterv <mpeterval@gmail.com>
Date: Thu, 24 Sep 2015 18:20:40 +0300
Subject: [PATCH] Do not copy .git subdirectory when installing from local
 sources

---
 hererocks.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hererocks.py b/hererocks.py
index 917e2ce..d67404f 100755
--- a/hererocks.py
+++ b/hererocks.py
@@ -148,7 +148,7 @@ def fetch(versions, version, temp_dir):
 
         print("Using {} from {}".format(capitalize(name), version))
         result_dir = os.path.join(temp_dir, name)
-        shutil.copytree(version, result_dir)
+        shutil.copytree(version, result_dir, ignore=lambda _, __: {".git"})
         os.chdir(result_dir)
         return result_dir