Use HTTPS to fetch ninja git submodule

mkaito · mkaito · commit 547c89dc33ad · 2020-11-05T15:25:05.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -8,5 +8,5 @@
 	branch = master
 [submodule "ninja"]
 	path = ninja
-	url = git@github.com:rescript-lang/ninja.git
+	url = https://github.com/rescript-lang/ninja
 	ignore = untracked
