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

…

run-eslint.sh

lint: Convert eslint JSON to YAML

2019-11-11 23:51:17 +00:00