mirror of
https://github.com/brl/mutter.git
synced 2024-11-30 03:50:47 -05:00
4ba3c4537e
For stable branches, we currently only check out the correct shell branch for merge requests. For the regular pipeline, our code to determine the current mutter branch fails because CI runs on a temporary "pipeline/12345" branch that doesn't exist for gnome-shell. Switching to the correct gitlab environment variable fixes that. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/811
34 lines
905 B
Bash
Executable File
34 lines
905 B
Bash
Executable File
#!/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
|
|
gnome_shell_target=$(git branch -r -l origin/$CI_COMMIT_REF_NAME)
|
|
gnome_shell_target=${gnome_shell_target:-origin/master}
|
|
echo Using $gnome_shell_target instead
|
|
fi
|
|
|
|
git checkout -q $gnome_shell_target
|