diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2020-12-11 01:36:09 +0100 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2020-12-11 15:05:46 +0100 |
| commit | ca0ad6d94bf5b26185b24fd80a79b0ab742ac886 (patch) | |
| tree | a89a12b472aefd7d45d3efdd7b420fc1ac5f1360 /.gitlab-ci | |
| parent | 3cccd829f2df312fbae5f7da57937de2a3058646 (diff) | |
| download | gnome-shell-ca0ad6d94bf5b26185b24fd80a79b0ab742ac886.tar.gz | |
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/gnome-shell/-/merge_requests/1529>
Diffstat (limited to '.gitlab-ci')
| -rwxr-xr-x | .gitlab-ci/checkout-mutter.sh | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/.gitlab-ci/checkout-mutter.sh b/.gitlab-ci/checkout-mutter.sh index 37655c48f..999f09061 100755 --- a/.gitlab-ci/checkout-mutter.sh +++ b/.gitlab-ci/checkout-mutter.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 } mutter_target= echo -n Cloning into mutter ... -if git clone --quiet https://gitlab.gnome.org/GNOME/mutter.git; then +if git clone --quiet --depth=1 https://gitlab.gnome.org/GNOME/mutter.git; then echo \ done else echo \ failed @@ -29,8 +29,14 @@ if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then mutter_target=FETCH_HEAD else echo \ not found - mutter_target=origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME - echo Using $mutter_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 + mutter_target=FETCH_HEAD + else + echo \ not found + fi fi fi |