tree 5357c23d55ad5bee69e2e45d18a60f73cd4e86dd
parent 144a72213b4002bbc2ccef0c810f8beb7fca0c67
author Clark Boylan <clark.boylan@gmail.com> 1339607430 -0700
committer Clark Boylan <clark.boylan@gmail.com> 1339607676 -0700

Update Github request closer script to v3 of API.

Fixes bug #1012310

Github disabled v1 and v2 of their API permanently, forcing us to
update the script that closes Github pull requests to v3 of the API.
Update the script using the PyGithub lib.

Change-Id: I90c9faacdb7a72a470b8ad6aaea674edd9b8329e