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