Change submodule to use https rather than ssh for aws-templates-for-c…

…bmc-proofs (#12) * CBMC fix test (do not merge) * Change AWS templates to https instead of ssh * Revert README
aws · May 24, 2021 · 57b82ab · 57b82ab
1 parent bbf64a7
commit 57b82ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -3,7 +3,7 @@
 	url = https://github.com/ThrowTheSwitch/CMock.git
 [submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
 	path = test/cbmc/aws-templates-for-cbmc-proofs
-	url = git@github.com:awslabs/aws-templates-for-cbmc-proofs.git
+	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
 [submodule "test/cbmc/litani"]
 	path = test/cbmc/litani
 	url = https://github.com/awslabs/aws-build-accumulator
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs