Learn more about these different git repos.
Other Git URLs
It's not clear via the web interface who merged a given pull request.
Implemented in https://pagure.io/pagure/pull-request/214
And merged :)
Log in to comment on this ticket.