fix: init git repo in package dir

Fixes leanprover/lake#1
This commit is contained in:
tydeu 2021-07-26 07:46:41 -04:00
parent b730aacbc8
commit bea059796f

View file

@ -39,9 +39,9 @@ def initPkg (dir : FilePath) (pkgName : String) : IO PUnit := do
h.putStr initGitignoreContents
unless ← FilePath.isDir (dir /".git") do
try
quietInit
quietInit dir
unless upstreamBranch = "master" do
checkoutBranch upstreamBranch
checkoutBranch upstreamBranch dir
catch _ =>
IO.eprintln "WARNING: failed to initialize git repository"