692ca398dfbfcfe974caba2d2896030daa26476c

Fixes bug #1012310 Seems github won't let you request an issue if issues are disabled on a repo. So attempt to get around this by creating an Issue object derived from a pull requests URL. Then comment on this issue object. Change-Id: If64640ebc1d86d86360e5657f4245541620fcebb
Description
RETIRED, PyPI mirror builder