edx/repo-tools — pull request #11 by sarina (2014-08-29 16:22:07+00:00)
Title: Better statistics on closed and merged PRs

@nedbat