From d52c4456df0a795352885b593c871de28f78740d Mon Sep 17 00:00:00 2001 From: Abe Jellinek Date: Fri, 1 Jan 2021 11:02:00 -0800 Subject: [PATCH] Remove Maiko submodule. I was under the impression that Git submodules had improved; they have not. Submodules still require manual updates, effort on the part of the user to initialize them, and constant maintenance. There's such a thing as a "subtree," which might better fit our needs, but I'm going to scrap the whole idea for now because the advantages over cloning both repositories separately (or having an init script that does it for us) aren't clear. --- .gitmodules | 3 --- maiko | 1 - 2 files changed, 4 deletions(-) delete mode 160000 maiko diff --git a/.gitmodules b/.gitmodules index 0c9f84c1..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "maiko"] - path = maiko - url = https://github.com/Interlisp/maiko.git diff --git a/maiko b/maiko deleted file mode 160000 index 135d7f65..00000000 --- a/maiko +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 135d7f65d32e09d84b8d37924ee4e531ae21e11d