| commit | 692ca398dfbfcfe974caba2d2896030daa26476c | [log] [tgz] |
|---|---|---|
| author | Clark Boylan <clark.boylan@gmail.com> | Wed Jun 13 16:58:40 2012 -0700 |
| committer | Clark Boylan <clark.boylan@gmail.com> | Wed Jun 13 17:15:25 2012 -0700 |
| tree | 95b3d19ac15353b189302f2d3c2f61eada4c5115 | |
| parent | 99999ffd32abd1f2ffbcf84641e5656f45ee7a78 [diff] |
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