diff options
| author | David Pursehouse <dpursehouse@collab.net> | 2020-02-13 08:22:12 +0900 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2020-02-13 00:31:24 +0000 |
| commit | aa47181e36b63abe31cb6a64ee2cff16d0cedac1 (patch) | |
| tree | e82db48ddcf9954fddbabef7f3e8e0329a9a68ea | |
| parent | 58a8b5c5d99a9136713f438b6afb07c9075139a7 (diff) | |
| download | git-repo-aa47181e36b63abe31cb6a64ee2cff16d0cedac1.tar.gz | |
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>
| -rwxr-xr-x | repo | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -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' |