Fix protocol of dafny submodule

robin-aws · robin-aws · commit 2ae8391d3572 · 2025-02-19T15:44:03.000-08:00
diff --git a/.gitmodules b/.gitmodules
@@ -3,5 +3,5 @@
 	url = https://github.com/smithy-lang/smithy-rs.git
 [submodule "TestModels/dafny-dependencies/dafny"]
 	path = TestModels/dafny-dependencies/dafny
-	url = git@github.com:dafny-lang/dafny.git
+	url = https://github.com/dafny-lang/dafny.git
 	branch = actions-and-streaming-stdlibs
