Update the URL for docs-resources to https

tclin914 · tclin914 · commit 02b034b4f69a · 2025-07-08T17:09:18.000+08:00
Not everyone has set up the SSH keys.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "doc/docs-resources"]
 	path = doc/docs-resources
-	url = git@github.com:riscv/docs-resources.git
+	url = https://github.com/riscv/docs-resources.git
