Changes from linting github tools

tools/gh_api.py

@@ -66,7 +66,7 b' 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."""

tools/test_pr.py

@@ -12,11 +12,9 b' 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