diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2019-11-07 00:05:12 +0100 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2019-11-07 00:06:25 +0100 |
| commit | 91729014583dc81ed4895bc7e5660c3f007815f3 (patch) | |
| tree | bbc7c39378382fe12b63848a3e3c73b656c6754f /.gitlab-ci | |
| parent | ffa0a2484815540f34ffb696ccac193734912902 (diff) | |
| download | mutter-91729014583dc81ed4895bc7e5660c3f007815f3.tar.gz | |
ci: Fix checkout out gnome-shell on stable branches
For stable branches, we currently only check out the correct shell
branch for merge requests. For the regular pipeline, our code to
determine the current mutter branch fails because CI runs on a
temporary "pipeline/12345" branch that doesn't exist for gnome-shell.
Switching to the correct gitlab environment variable fixes that.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/811
Diffstat (limited to '.gitlab-ci')
| -rwxr-xr-x | .gitlab-ci/checkout-gnome-shell.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.gitlab-ci/checkout-gnome-shell.sh b/.gitlab-ci/checkout-gnome-shell.sh index 64c1af953..bcfbfe7a7 100755 --- a/.gitlab-ci/checkout-gnome-shell.sh +++ b/.gitlab-ci/checkout-gnome-shell.sh @@ -1,6 +1,5 @@ #!/usr/bin/bash -mutter_branch=$(git describe --contains --all HEAD) gnome_shell_target= git clone https://gitlab.gnome.org/GNOME/gnome-shell.git @@ -26,8 +25,7 @@ if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then fi if [ -z "$gnome_shell_target" ]; then - gnome_shell_target=$(git branch -r -l origin/$mutter_branch) - gnome_shell_target=${gnome_shell_target:-$(git branch -r -l ${mutter_branch#remotes/})} + gnome_shell_target=$(git branch -r -l origin/$CI_COMMIT_REF_NAME) gnome_shell_target=${gnome_shell_target:-origin/master} echo Using $gnome_shell_target instead fi |