From 61b2259d990e00873f7d4f88f9d4fcd390579641 Mon Sep 17 00:00:00 2001
From: Hemant Gouni <hemant@hemantgouni.com>
Date: Mon, 16 Aug 2021 21:41:37 +0000
Subject: [PATCH] Fix cloning issue

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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