From cc04f936838b2de827f723c72f241f8f9ad75787 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 14 Jul 2021 20:39:27 +0200
Subject: [PATCH] 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>
---
 .gitlab-ci/checkout-gnome-shell.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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