[gnome-shell] ci: Only fetch history for branch tips
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] ci: Only fetch history for branch tips
- Date: Fri, 11 Dec 2020 14:37:19 +0000 (UTC)
commit ca0ad6d94bf5b26185b24fd80a79b0ab742ac886
Author: Florian Müllner <fmuellner gnome org>
Date: Fri Dec 11 01:36:09 2020 +0100
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>
.gitlab-ci/checkout-mutter.sh | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
---
diff --git a/.gitlab-ci/checkout-mutter.sh b/.gitlab-ci/checkout-mutter.sh
index 37655c48f8..999f090616 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]