diff --git a/.gitmodules b/.gitmodules
index 2119d642588..f506d59cb07 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -9,4 +9,4 @@
 	url = https://git.sr.ht/~jonsterling/public-trees
 [submodule "erct"]
 	path = erct
-	url = git@git.sr.ht:~jonsterling/elements-of-relative-category-theory
+	url = https://git.sr.ht/~jonsterling/elements-of-relative-category-theory