From fb663da761d57ae3ebe01f45b9865b5536d23cee Mon Sep 17 00:00:00 2001
From: Noah Hellman <noah@hllmn.net>
Date: Sat, 11 Feb 2023 22:18:01 +0100
Subject: [PATCH] modules/djot.js: ssh -> https

github ci does not like ssh
---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index cb3429a..72c8292 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "jgm/djot.js"]
     path = modules/djot.js
-    url = git@github.com:jgm/djot.js.git
+    url = https://github.com/jgm/djot.js.git