From fbe1a16a6b5085b7d9977d20fa1efecc82f6b292 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 11 Dec 2020 01:36:09 +0100
Subject: [PATCH] ci: Only fetch history for branch tips

We don't need any history, so we can save a bit of bandwidth by
omitting it, and only fetch the refs we are actually interested in.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1630>
---
 .gitlab-ci/checkout-gnome-shell.sh | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci/checkout-gnome-shell.sh b/.gitlab-ci/checkout-gnome-shell.sh
index bc379bbea..49969cca3 100755
--- a/.gitlab-ci/checkout-gnome-shell.sh
+++ b/.gitlab-ci/checkout-gnome-shell.sh
@@ -4,13 +4,13 @@ fetch() {
   local remote=$1
   local ref=$2
 
-  git fetch --quiet $remote $ref 2>/dev/null
+  git fetch --quiet --depth=1 $remote $ref 2>/dev/null
 }
 
 gnome_shell_target=
 
 echo -n Cloning into gnome-shell ...
-if git clone --quiet https://gitlab.gnome.org/GNOME/gnome-shell.git; then
+if git clone --quiet --depth=1 https://gitlab.gnome.org/GNOME/gnome-shell.git; then
   echo \ done
 else
   echo \ failed
@@ -29,8 +29,14 @@ if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then
     gnome_shell_target=FETCH_HEAD
   else
     echo \ not found
-    gnome_shell_target=origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME
-    echo Using $gnome_shell_target instead
+
+    echo -n Looking for $CI_MERGE_REQUEST_TARGET_BRANCH_NAME instead ...
+    if fetch origin $CI_MERGE_REQUEST_TARGET_BRANCH_NAME; then
+      echo \ found
+      gnome_shell_target=FETCH_HEAD
+    else
+      echo \ not found
+    fi
   fi
 fi