diff --git a/tools/gh_api.py b/tools/gh_api.py
index a34e95ddc17e..ca1cc0caf2d9 100644
--- a/tools/gh_api.py
+++ b/tools/gh_api.py
@@ -43,6 +43,13 @@ def get_auth_token():
     if token is not None:
         return token
 
+    try:
+        with open(os.path.join(os.path.expanduser('~'), '.ghoauth')) as f:
+            token, = f
+            return token
+    except:
+        pass
+
     import keyring
     token = keyring.get_password('github', fake_username)
     if token is not None: