isa/mutter
1
0
Fork 0
mirror of https://github.com/brl/mutter.git synced 2024-11-12 09:16:10 -05:00
Code Issues Packages Projects Releases Wiki Activity

ci: Only fetch history for branch tips

Browse Source 
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>
This commit is contained in:
Florian Müllner 2020-12-11 01:36:09 +01:00 committed by Marge Bot
parent afced5b405
commit fbe1a16a6b
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.gitlab-ci/checkout-gnome-shell.sh
View File

@ -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