diff --git a/.gitignore b/.gitignore
index 6639130..8038394 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,9 @@
 /prod/.env
+
+# Source checkouts the dev stack mounts. They are cloned by dev/init.sh rather
+# than tracked here: they were once recorded as submodule gitlinks, but with no
+# .gitmodules to resolve them, which made every checkout of this repository
+# fail.
+/dev/yeti
+/dev/yeti-agents
+/dev/yeti-feeds-frontend
diff --git a/dev/yeti b/dev/yeti
deleted file mode 160000
index 84d623b..0000000
--- a/dev/yeti
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 84d623bee788ff5e241b209162eada99924e64d9
diff --git a/dev/yeti-feeds-frontend b/dev/yeti-feeds-frontend
deleted file mode 160000
index 8319f1c..0000000
--- a/dev/yeti-feeds-frontend
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 8319f1c993f8e0c25f59354f35a6966a0c643bed