That’s what I get for copy+pasting :)

Also, just link GitLab to the general page, not the merge requests, for
consistency with GitHub.