diff --git a/.gitmodules b/.gitmodules
index 0a16f1e5..b1beb071 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "standard-library"]
 	path = standard-library
-	url = git@github.com:agda/agda-stdlib.git
+	url = https://github.com/agda/agda-stdlib.git