Skip to content

Make sure we are linking to the gitlab.com repo for name-mapping

The current link goes to Github, but since we host it on gitlab.com, it makes more sense to move it there.

/cc @rymai

Merge request reports