clone repo commit

ggerganov · Aug 24, 2024 · 42f65b0 · 42f65b0
1 parent 56f2a80
commit 42f65b0
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/tests/test-lora-conversion-inference.sh b/tests/test-lora-conversion-inference.sh
@@ -10,11 +10,20 @@ declare -a params=(
 
 MODELS_REPO=lora-tests
 MODELS_REPO_URL=https://huggingface.co/ggml-org/$MODELS_REPO
+COMMIT=c26d5fb85b4070a9e9c4e65d132c783b98086890
 
 # Clone the Hugging Face repository if the directory does not exist
 if [ ! -d "$MODELS_REPO" ]; then
     echo "Cloning the Hugging Face repository..."
-    git clone $MODELS_REPO_URL --depth 1
+    git clone --depth=1 $MODELS_REPO_URL $MODELS_REPO
+    cd $MODELS_REPO
+
+    # Fetch the specific commit
+    git fetch --depth=1 origin $COMMIT
+
+    # Reset to the specific commit
+    git reset --hard $COMMIT
+    cd -
 else
     echo "Repository already exists. Skipping clone."
 fi