From 43bdaa94f47eeffdca92f5efe45ecc76476f651f Mon Sep 17 00:00:00 2001 From: Liang-Ting Chen Date: Mon, 23 Aug 2021 02:52:55 +0800 Subject: [PATCH] Use https instead of git for fetching the standard library (#572) * Use https instead of git for fetching the standard library * Clone the standard library shallowly --- .gitmodules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 0a16f1e5..3fdc5c51 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "standard-library"] path = standard-library - url = git@github.com:agda/agda-stdlib.git + url = https://github.com/agda/agda-stdlib.git + shallow = true