From a8d031258c2e1ccb6493d14ae5ba13282d96ae60 Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Wed, 2 May 2018 15:42:14 +0200
Subject: [PATCH] Speed up the clone, because we don't need the commits, just
 the result

Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 build/get-server-sources.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/get-server-sources.sh b/build/get-server-sources.sh
index 667c0574a..b42f8697d 100755
--- a/build/get-server-sources.sh
+++ b/build/get-server-sources.sh
@@ -9,5 +9,5 @@ NC_BRANCH="${1:-master}"
 if [ -d server/.git ]; then
     cd server && git fetch &&  git checkout $NC_BRANCH && git reset --hard origin/$NC_BRANCH 
 else
-    git clone https://github.com/nextcloud/server server
+    git clone https://github.com/nextcloud/server server --depth 1
 fi;