diff options
author | Florian Müllner <fmuellner@gnome.org> | 2021-07-14 20:39:27 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2021-07-18 23:14:16 +0200 |
commit | cc04f936838b2de827f723c72f241f8f9ad75787 (patch) | |
tree | 235239c0db6b34f28a2a48dc7295a5eec18723a1 /.gitlab-ci | |
parent | ff14ed5ad9f995706cce04b1f93535880fe04653 (diff) | |
download | mutter-cc04f936838b2de827f723c72f241f8f9ad75787.tar.gz |
ci: Fallback to HEAD when checking out branch
... instead of hardcoding origin/master as the default branch.
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1930>
Diffstat (limited to '.gitlab-ci')
-rwxr-xr-x | .gitlab-ci/checkout-gnome-shell.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/checkout-gnome-shell.sh b/.gitlab-ci/checkout-gnome-shell.sh index 49969cca3..e4bb9c45c 100755 --- a/.gitlab-ci/checkout-gnome-shell.sh +++ b/.gitlab-ci/checkout-gnome-shell.sh @@ -47,7 +47,7 @@ if [ -z "$gnome_shell_target" ]; then gnome_shell_target=FETCH_HEAD else echo \ not found - gnome_shell_target=origin/master + gnome_shell_target=HEAD echo Using $gnome_shell_target instead fi fi |