mirror of
https://github.com/openharmony/repo.git
synced 2026-07-01 04:19:16 -04:00
Update repo
Replaces the default download address of the repo repository
This commit is contained in:
committed by
GitHub
parent
631b19bc9b
commit
76c1d15298
@@ -127,7 +127,7 @@ if __name__ == '__main__':
|
||||
#
|
||||
REPO_URL = os.environ.get('REPO_URL', None)
|
||||
if not REPO_URL:
|
||||
REPO_URL = 'https://gerrit.googlesource.com/git-repo'
|
||||
REPO_URL = 'https://github.com/openharmony/repo'
|
||||
REPO_REV = os.environ.get('REPO_REV')
|
||||
if not REPO_REV:
|
||||
REPO_REV = 'stable'
|
||||
|
||||
Reference in New Issue
Block a user