Github PR statistics collector ############################## This tiny script can be run on a cron to push the average time that all pull requests have been open for to statsd.