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