tree 95b3d19ac15353b189302f2d3c2f61eada4c5115
parent 99999ffd32abd1f2ffbcf84641e5656f45ee7a78
author Clark Boylan <clark.boylan@gmail.com> 1339631920 -0700
committer Clark Boylan <clark.boylan@gmail.com> 1339632925 -0700

Try again to fix the close request script.

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