From bebab4715cbd85ab826b5913d2ab5c25260eae13 2015-01-30 21:11:02
From: Min RK <benjaminrk@gmail.com>
Date: 2015-01-30 21:11:02
Subject: [PATCH] log fetching pull requests

otherwise it looks like a hang

---

diff --git a/tools/gh_api.py b/tools/gh_api.py
index 8c62098..6cea39e 100644
--- a/tools/gh_api.py
+++ b/tools/gh_api.py
@@ -103,6 +103,7 @@ def get_pull_request(project, num, auth=False):
         header = make_auth_header()
     else:
         header = None
+    print("fetching %s" % url, file=sys.stderr)
     response = requests.get(url, headers=header)
     response.raise_for_status()
     return json.loads(response.text, object_hook=Obj)