From f85bb27d120ea596f64c170f7179029ea7dcb2da Mon Sep 17 00:00:00 2001
From: Marc Prud'hommeaux <mwp1@cornell.edu>
Date: Wed, 11 Feb 2026 22:17:25 -0500
Subject: [PATCH 1/2] Include skip.git as a submodule to simplyify local
 skipstone builds

---
 .gitmodules               | 4 ++++
 Sources/SkipDriveExternal | 2 +-
 skip                      | 1 +
 3 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 .gitmodules
 create mode 160000 skip

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..a2866e18
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,4 @@
+[submodule "skip"]
+	path = skip
+	url = https://github.com/skiptools/skip.git
+	branch = main
diff --git a/Sources/SkipDriveExternal b/Sources/SkipDriveExternal
index 5e0960b4..752443da 120000
--- a/Sources/SkipDriveExternal
+++ b/Sources/SkipDriveExternal
@@ -1 +1 @@
-../../skip/Sources/SkipDrive
\ No newline at end of file
+../skip/Sources/SkipDrive
\ No newline at end of file
diff --git a/skip b/skip
new file mode 160000
index 00000000..75951ff1
--- /dev/null
+++ b/skip
@@ -0,0 +1 @@
+Subproject commit 75951ff17083ee4bbab96fa8ffe311e1d5489e0b

From be624a1a6d55ddeb4775471a826a09646db881a7 Mon Sep 17 00:00:00 2001
From: Marc Prud'hommeaux <mwp1@cornell.edu>
Date: Wed, 11 Feb 2026 22:19:55 -0500
Subject: [PATCH 2/2] Update CI to checkout submodules rather than separate
 skip.git

---
 .github/workflows/ci.yml | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fc03445f..a39d1e94 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,17 +21,11 @@ jobs:
           - '6.2.3'
 
     steps:
-      # checkout both skipstone.git and skip.git for the linked SkipDrive
       - name: Checkout skipstone.git
         uses: actions/checkout@v6
         with:
-          path: skipstone
-
-      - name: Checkout skip.git
-        uses: actions/checkout@v6
-        with:
-          repository: skiptools/skip
-          path: skip
+          # skip.git submodule needed for SkipDriveExternal
+          submodules: true
 
       - uses: swift-actions/setup-swift@v3
         with:
@@ -44,11 +38,9 @@ jobs:
         run: which kotlinc
 
       - name: Swift Test (Debug)
-        working-directory: skipstone
         run: KOTLINC=kotlinc swift test -v -c debug --parallel
 
       - name: Build plugin
-        working-directory: skipstone
         shell: bash
         run: |
           # Build plugins using the current installed version of Swift