mirror of
https://github.com/brl/mutter.git
synced 2024-11-23 00:20:42 -05:00
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>
This commit is contained in:
parent
ff14ed5ad9
commit
cc04f93683
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user