From 752aeeab143c4e6d2d88bfc76ff38c24c5d33f86 Mon Sep 17 00:00:00 2001
From: "Yann Esposito (Yogsototh)" <yann.esposito@gmail.com>
Date: Sun, 21 Oct 2018 16:44:25 +0200
Subject: [PATCH] use mirror instead of bare...

---
 src/GPM/Serve.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/GPM/Serve.hs b/src/GPM/Serve.hs
index 723517e..7f03f7e 100644
--- a/src/GPM/Serve.hs
+++ b/src/GPM/Serve.hs
@@ -66,7 +66,7 @@ init = do
   whenM (testdir publicProjectDir) $ do
     putText (format ("rmtree " % fp) publicProjectDir)
     rmtree publicProjectDir
-  debug_ (format ("git clone --bare "%fp%" "%fp)
+  debug_ (format ("git clone --mirror "%fp%" "%fp)
                  repoRoot
                  publicProjectDir)
   inDir publicProjectDir $ do