mirror of
https://github.com/brl/mutter.git
synced 2024-11-29 19:40:43 -05:00
36 lines
1.0 KiB
Bash
36 lines
1.0 KiB
Bash
|
#!/usr/bin/bash
|
||
|
|
|
||
|
|
mutter_branch=$(git describe --contains --all HEAD)
|
||
|
|
gnome_shell_target=
|
||
|
|
|
||
|
|
git clone https://gitlab.gnome.org/GNOME/gnome-shell.git
|
||
|
|
|
||
|
|
if [ $? -ne 0 ]; then
|
||
|
|
echo Checkout failed
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
cd gnome-shell
|
||
|
|
|
||
|
|
if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then
|
||
|
|
merge_request_remote=${CI_MERGE_REQUEST_SOURCE_PROJECT_URL//mutter/gnome-shell}
|
||
|
|
merge_request_branch=$CI_MERGE_REQUEST_SOURCE_BRANCH_NAME
|
||
|
|
|
||
|
|
echo Looking for $merge_request_branch on remote ...
|
||
|
|
if git fetch -q $merge_request_remote $merge_request_branch 2>/dev/null; then
|
||
|
|
gnome_shell_target=FETCH_HEAD
|
||
|
|
else
|
||
|
|
gnome_shell_target=origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME
|
||
|
|
echo Using $gnome_shell_target instead
|
||
|
|
fi
|
||
|
|
fi
|
||
|
|
|
||
|
|
if [ -z "$gnome_shell_target" ]; then
|
||
|
|
gnome_shell_target=$(git branch -r -l origin/$mutter_branch)
|
||
|
|
gnome_shell_target=${gnome_shell_target:-$(git branch -r -l ${mutter_branch#remotes/})}
|
||
|
|
gnome_shell_target=${gnome_shell_target:-origin/master}
|
||
|
|
echo Using $gnome_shell_target instead
|
||
|
|
fi
|
||
|
|
|
||
|
|
git checkout -q $gnome_shell_target
|