Florian Müllner 9a3ed0056e ci: Adjust URL check ... While the old merge request URLs still work, gitlab recently started including an additional /- for merge requests. Adjust the regex to account for that, so that simply copying the URL from gitlab works again. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1048		2020-02-26 00:24:14 +01:00
..
check-commit-log.sh	ci: Adjust URL check	2020-02-26 00:24:14 +01:00
checkout-mutter.sh	ci: Fix checking out mutter on stable branches	2019-11-06 22:52:38 +00:00
Dockerfile.extension-ci	ci: Include git in extension-ci image	2019-07-24 00:28:45 +02:00
run-eslint.sh	lint: Convert eslint JSON to YAML	2019-11-11 23:51:17 +00:00