Merged PRs should have purple links, not red.
Created by: phpnode
Otherwise it's impossible to distinguish a merged PR from a rejected one without clicking. Also it makes it seem like there's a problem with the PR when there isn't, because it goes green -> red.
the status should also be marked as merged not closed
Edited by 🤖 GitLab Bot 🤖