diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 60b7cc5409..0000000000
--- a/.gitmodules
+++ /dev/null
@@ -1,4 +0,0 @@
-[submodule "lake"]
-        path = src/lake
-        url = https://github.com/leanprover/lake.git
-        ignore = untracked
\ No newline at end of file
diff --git a/src/lake b/src/lake
deleted file mode 160000
index 9919b5efc4..0000000000
--- a/src/lake
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9919b5efc48c71a940635a0bbab00a394ebe53f8