Show "Merged" instead of "Closed" for merged pull requests