From 0c092efbec47ac9f060e048399f0e8792642f7fc 2013-02-22 13:18:59
From: Thomas Kluyver <takowl@gmail.com>
Date: 2013-02-22 13:18:59
Subject: [PATCH] Changes from linting github tools

---

diff --git a/tools/gh_api.py b/tools/gh_api.py
index 3c852f4..ac1568c 100644
--- a/tools/gh_api.py
+++ b/tools/gh_api.py
@@ -66,7 +66,7 @@ def make_auth_header():
 def post_issue_comment(project, num, body):
     url = 'https://api.github.com/repos/{project}/issues/{num}/comments'.format(project=project, num=num)
     payload = json.dumps({'body': body})
-    r = requests.post(url, data=payload, headers=make_auth_header())
+    requests.post(url, data=payload, headers=make_auth_header())
 
 def post_gist(content, description='', filename='file', auth=False):
     """Post some text to a Gist, and return the URL."""
diff --git a/tools/test_pr.py b/tools/test_pr.py
index 437be4a..e0b9ad5 100755
--- a/tools/test_pr.py
+++ b/tools/test_pr.py
@@ -12,11 +12,9 @@ from __future__ import print_function
 import errno
 from glob import glob
 import io
-import json
 import os
 import pickle
 import re
-import requests
 import shutil
 import time
 from subprocess import call, check_call, check_output, PIPE, STDOUT, CalledProcessError