2019-04-22 17:54:11 +00:00
|
|
|
#!/usr/bin/bash
|
|
|
|
|
|
|
|
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
|
2019-11-06 23:05:12 +00:00
|
|
|
gnome_shell_target=$(git branch -r -l origin/$CI_COMMIT_REF_NAME)
|
2019-04-22 17:54:11 +00:00
|
|
|
gnome_shell_target=${gnome_shell_target:-origin/master}
|
|
|
|
echo Using $gnome_shell_target instead
|
|
|
|
fi
|
|
|
|
|
|
|
|
git checkout -q $gnome_shell_target
|