roll back gitmodules change

jchavarri · jchavarri · commit b967284cb6cd · 2020-10-24T10:02:33.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -8,5 +8,5 @@
 	branch = master
 [submodule "ninja"]
 	path = ninja
-	url = https://github.com/rescript-lang/ninja
+	url = git@github.com:rescript-lang/ninja.git
 	ignore = untracked
