use mirror instead of bare...
This commit is contained in:
parent
d0da04fc15
commit
752aeeab14
1 changed files with 1 additions and 1 deletions
|
@ -66,7 +66,7 @@ init = do
|
||||||
whenM (testdir publicProjectDir) $ do
|
whenM (testdir publicProjectDir) $ do
|
||||||
putText (format ("rmtree " % fp) publicProjectDir)
|
putText (format ("rmtree " % fp) publicProjectDir)
|
||||||
rmtree publicProjectDir
|
rmtree publicProjectDir
|
||||||
debug_ (format ("git clone --bare "%fp%" "%fp)
|
debug_ (format ("git clone --mirror "%fp%" "%fp)
|
||||||
repoRoot
|
repoRoot
|
||||||
publicProjectDir)
|
publicProjectDir)
|
||||||
inDir publicProjectDir $ do
|
inDir publicProjectDir $ do
|
||||||
|
|
Loading…
Reference in a new issue