1 files changed, 0 insertions, 1 deletions
diff --git a/repo b/repo
index 4ef0300f..d1c6c6de 100755
--- a/repo
+++ b/repo
@@ -91,7 +91,6 @@ if __name__ == '__main__':
 # repo default configuration
 #
-import os
 REPO_URL = os.environ.get('REPO_URL', None)
 if not REPO_URL:
  REPO_URL = 'https://gerrit.googlesource.com/git-repo'

diff --git a/repo b/repo index 4ef0300f..d1c6c6de 100755 --- a/repo +++ b/repo
@@ -91,7 +91,6 @@ if __name__ == '__main__':
91		91
92	# repo default configuration	92	# repo default configuration
93	#	93	#
94	import os
95	REPO_URL = os.environ.get('REPO_URL', None)	94	REPO_URL = os.environ.get('REPO_URL', None)
96	if not REPO_URL:	95	if not REPO_URL:
97	REPO_URL = 'https://gerrit.googlesource.com/git-repo'	96	REPO_URL = 'https://gerrit.googlesource.com/git-repo'