From ee3ec096bd1ca10dbbe44322fb0a71ccd31b10c2 Mon Sep 17 00:00:00 2001
From: Pedro Larroy <pedro.larroy.lists@gmail.com>
Date: Sun, 6 Jan 2019 20:22:06 +0100
Subject: [PATCH] Scope requests so it's not needed for dev_menu (#13771)

---
 ci/util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/util.py b/ci/util.py
index 4d68b57a3af4..9a8d52eb1716 100644
--- a/ci/util.py
+++ b/ci/util.py
@@ -18,7 +18,6 @@
 import os
 import contextlib
 import logging
-import requests
 
 def get_mxnet_root() -> str:
     curpath = os.path.abspath(os.path.dirname(__file__))
@@ -89,6 +88,7 @@ def under_ci() -> bool:
 
 
 def ec2_instance_id_hostname() -> str:
+    import requests
     if under_ci():
         result = []
         try: