cms-sw/cmsdist — pull request #337 by nclopezo (2014-01-17 10:59:08+00:00)
Title: Added pyGithub, the python library to acces github

It is used by the report-pull-request-results script. I just noticed that I had accidentally pushed to the cms-sw repository for the pull request #332