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 :)