.gitmodules: use https urls for all public repos

GaloisInc · Sep 10, 2024 · f447c0c · f447c0c
1 parent 3aee045
commit f447c0c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -10,10 +10,10 @@
 	shallow = true
 [submodule "components/autopilot/ardupilot"]
 	path = components/autopilot/ardupilot
-	url = git@github.com:ArduPilot/ardupilot.git
+	url = https://github.com/ArduPilot/ardupilot.git
 [submodule "components/message_bus/czmq"]
 	path = components/message_bus/czmq
-	url = git@github.com:zeromq/czmq.git
+	url = https://github.com/zeromq/czmq.git
 [submodule "src/pkvm_setup/vhost-device"]
 	path = src/pkvm_setup/vhost-device
 	url = [email protected]:GaloisInc/verse-vhost-device.git