From f7480a9f2a2dbca628259acab65065f86c87505f Mon Sep 17 00:00:00 2001
From: Jon Sterling <jon@jonmsterling.com>
Date: Sun, 31 Dec 2023 18:23:23 +0000
Subject: [PATCH] fix submodule

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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