diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -166,7 +166,12 @@ TACbBS+Up3RpfYVfd63c1cDdlru13pQAn3NQy/SN858MkxN+zym86UBgOad2 | |||
166 | """ | 166 | """ |
167 | 167 | ||
168 | GIT = 'git' # our git command | 168 | GIT = 'git' # our git command |
169 | MIN_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. | ||
174 | MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version | ||
170 | repodir = '.repo' # name of repo's private directory | 175 | repodir = '.repo' # name of repo's private directory |
171 | S_repo = 'repo' # special repo repository | 176 | S_repo = 'repo' # special repo repository |
172 | S_manifests = 'manifests' # special manifest repository | 177 | S_manifests = 'manifests' # special manifest repository |