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'