Ugly merge request prompt for mirrored repository
I have a repository that mirrors gitlab-ce. I get prompted when someone pushes to create a merge request.
I think it's not very nice that I get the MR prompt (as it's a mirror), but I don't know how hard it would be to create an exception for these case (and whether we should want that).
Secondly, the prompt doesn't look very pretty with the double line (cc @skyruler).
@DouweM thoughts?