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