summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo7
1 files changed, 6 insertions, 1 deletions
diff --git a/repo b/repo
index 2b125296..01d5c46d 100755
--- a/repo
+++ b/repo
@@ -166,7 +166,12 @@ TACbBS+Up3RpfYVfd63c1cDdlru13pQAn3NQy/SN858MkxN+zym86UBgOad2
166""" 166"""
167 167
168GIT = 'git' # our git command 168GIT = 'git' # our git command
169MIN_GIT_VERSION = (2, 10, 2) # minimum supported git version 169# NB: The version of git that the repo launcher requires may be much older than
170# the version of git that the main repo source tree requires. Keeping this at
171# an older version also makes it easier for users to upgrade/rollback as needed.
172#
173# git-1.7 is in (EOL) Ubuntu Precise.
174MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version
170repodir = '.repo' # name of repo's private directory 175repodir = '.repo' # name of repo's private directory
171S_repo = 'repo' # special repo repository 176S_repo = 'repo' # special repo repository
172S_manifests = 'manifests' # special manifest repository 177S_manifests = 'manifests' # special manifest repository