RFR: 1085: Gitlab PR has bad link to patch file [v2]

[Erik Joelsson]

On Tue, 6 Jul 2021 12:34:14 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

>> The link generated under the "Reviewing" header in a PR description works fine on Github, but on Gitlab, the link has a Github style form which does not work.
>
> Magnus Ihse Bursie has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Stop GitLab URL mangling

Marked as reviewed by erikj (Lead).

-------------

PR: https://git.openjdk.java.net/skara/pull/1191