From aa47181e36b63abe31cb6a64ee2cff16d0cedac1 Mon Sep 17 00:00:00 2001
From: David Pursehouse <dpursehouse@collab.net>
Date: Thu, 13 Feb 2020 08:22:12 +0900
Subject: [PATCH] repo: Remove duplicate import of 'os'

Change-Id: I9874a5deacdb6a8ce98a8a383326a5b41b1518df
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/254697
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: David Pursehouse <dpursehouse@collab.net>
---
 repo | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repo b/repo
index 4ef0300..d1c6c6d 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'