Clark Boylan 50628cdbf6 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		2012-06-13 17:15:25 -07:00
..
files	Try again to fix the close request script.	2012-06-13 17:15:25 -07:00
manifests	Update Github request closer script to v3 of API.	2012-06-13 10:14:36 -07:00
templates	More gerrit tuning.	2012-05-29 18:15:27 +00:00