revert updated wrongly-named submodules

aherlihy · aherlihy · commit 9ec54ae085d5 · 2024-05-01T14:21:42.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -221,7 +221,3 @@
 [submodule "community-build/community-projects/shapeless-3"]
 	path = community-build/community-projects/shapeless-3
 	url = https://github.com/dotty-staging/shapeless-3.git
-[submodule "shapeless-3"]
-	branch = i16723
-[submodule "scodec"]
-	branch = i16723
