mirror of
https://github.com/brl/mutter.git
synced 2024-11-23 08:30:42 -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 |
||
---|---|---|
.. | ||
check-commit-log.sh | ||
checkout-gnome-shell.sh | ||
Dockerfile |