Florian Müllner e5cfdf9f48 ci: Handle merge requests for non-master branches ... If we don't find a branch that matches the branch used in the merge request, we currently fall back to the non-merge-request matching, i.e. first try the current shell branch, then fall back to master. This should work for commits to upstream branches, but not for merge requests to a stable branch. For those, the target branch name is a better fallback. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/509		2019-04-25 19:57:05 +00: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: Handle merge requests for non-master branches	2019-04-25 19:57:05 +00: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