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

It is used by the report-pull-request-results script