From 98da3c9e46062622959fe225ebb3277832a14fc3 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 3 Aug 2023 20:04:02 -0400
Subject: [PATCH] fix: lake: do not hash remote dep names + test

accidental leftover from a scrapped feature
---
 src/lake/Lake/Load/Materialize.lean | 3 +--
 src/lake/test/clone/test.sh         | 1 +
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lake/Lake/Load/Materialize.lean b/src/lake/Lake/Load/Materialize.lean
index 63445cbb9f..2f775aa6d4 100644
--- a/src/lake/Lake/Load/Materialize.lean
+++ b/src/lake/Lake/Load/Materialize.lean
@@ -67,8 +67,7 @@ def Source.materialize (src : Source) (name : String)
       manifestEntry := .path name relPkgDir
     }
   | .git url inputRev? subDir? => do
-    let tmpName := toString <| hash url
-    let relGitDir := relPkgsDir / tmpName
+    let relGitDir := relPkgsDir / name
     let repo := GitRepo.mk (wsDir / relGitDir)
     updateGitRepo repo url inputRev? name
     let rev ← repo.headRevision
diff --git a/src/lake/test/clone/test.sh b/src/lake/test/clone/test.sh
index 56656f0c42..cc11b16051 100755
--- a/src/lake/test/clone/test.sh
+++ b/src/lake/test/clone/test.sh
@@ -24,6 +24,7 @@ cd test
 
 # test git clone
 $LAKE update
+test -d lake-packages/hello
 $LAKE build
 ./build/bin/test