Better statistics on closed and merged PRs

@nedbat