fix: dev: Update .gitmodules

Used the https-link instead of ssh
motrellin · Jul 24, 2024 · 8a29482 · 8a29482
1 parent 343adff
commit 8a29482
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "coqdocjs"]
 	path = coqdocjs
-	url = git@github.com:coq-community/coqdocjs.git
+	url = https://github.com/coq-community/coqdocjs.git