2018-06-13 18:43 GMT+02:00 Terry Reedy firstname.lastname@example.org:
Pablo's merged PR:
This includes closed without merging.
He got 22 commits merged into master between September 2017 and June 2018.
shows 27 merged, 1 a backport. Merges were by several different people. +1
I computed the number of patches merged into master using:
$ git log master --author=Pablogsal@gmail.com|grep ^commit -c 22
Oh sorry, I posted the wrong link. I wanted to post this link: https://github.com/python/cpython/commits?author=pablogsal
I counted manually and I see again 22 changes.