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.
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.