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

It is used by the report-pull-request-results script. Thans @davidlt for helping me.