From 4ac38665bdb30a61edd38d4d4b8da6a073543273 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Mon, 12 Jan 2026 18:27:34 -0800
Subject: [PATCH 1/2] Different way to set `CI_INFO`

---
 git-clone-related | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/git-clone-related b/git-clone-related
index 06c5798..debad22 100755
--- a/git-clone-related
+++ b/git-clone-related
@@ -107,16 +107,18 @@ elif [ -e "${DESTINATION}" ]; then
   file "${DESTINATION}"
   exit 1
 else
-  CI_INFO="$SCRIPT_DIR/../plume-scripts/ci-info"
-  if [ ! -f "$CI_INFO" ]; then
-    CI_INFO="$SCRIPT_DIR/../.plume-scripts/ci-info"
-  fi
-  if [ ! -f "$CI_INFO" ]; then
-    CI_INFO="$SCRIPT_DIR/.plume-scripts/ci-info"
+  # Set PLUME_SCRIPTS.
+  for dir in "../plume-scripts" ".plume-scripts" "../.plume-scripts"; do
+    if [ -d "${SCRIPT_DIR}/${dir}" ]; then
+      PLUME_SCRIPTS="${SCRIPT_DIR}/${dir}"
   fi
-  if [ ! -f "$CI_INFO" ]; then
+  done
+  if [ -z "$PLUME_SCRIPTS" ]; then
     (cd "$SCRIPT_DIR" && git clone -q --depth 1 https://github.com/plume-lib/plume-scripts .plume-scripts)
+    PLUME_SCRIPTS="${SCRIPT_DIR}/.plume-scripts"
   fi
+
+  CI_INFO="${PLUME_SCRIPTS}/ci-info"
   if [ ! -f "$CI_INFO" ]; then
     echo "CI_INFO does not exist: $CI_INFO"
     exit 1

From c0649ce852a9db938369f51c2564e8921d3e2e1d Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Mon, 12 Jan 2026 18:30:04 -0800
Subject: [PATCH 2/2] Fix indentation

---
 git-clone-related | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git-clone-related b/git-clone-related
index debad22..d653032 100755
--- a/git-clone-related
+++ b/git-clone-related
@@ -111,7 +111,7 @@ else
   for dir in "../plume-scripts" ".plume-scripts" "../.plume-scripts"; do
     if [ -d "${SCRIPT_DIR}/${dir}" ]; then
       PLUME_SCRIPTS="${SCRIPT_DIR}/${dir}"
-  fi
+    fi
   done
   if [ -z "$PLUME_SCRIPTS" ]; then
     (cd "$SCRIPT_DIR" && git clone -q --depth 1 https://github.com/plume-lib/plume-scripts .plume-scripts)