Florian Müllner c062be25d6 ci: Try harder to find a matching mutter branch ... Depending on how gitlab's CI checks out gnome-shell, the shell branch may not have a local reference like "gnome-3-32", but only a remote one like "remotes/origin/gnome-3-32". Consider that case as well when looking for a corresponding mutter branch. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/511		2019-04-25 23:35:49 +02:00
..
check-commit-log.sh	ci: Sync check-commit-log script with mutter	2019-02-26 21:08:17 +00:00
checkout-mutter.sh	ci: Try harder to find a matching mutter branch	2019-04-25 23:35:49 +02:00
Dockerfile	ci: Add build stage	2019-02-26 21:08:17 +00:00
Dockerfile.extension-ci	ci: Use custom image for JS checks	2019-02-26 21:08:17 +00:00