diff options
author | Conley Owens <cco3@android.com> | 2012-10-26 11:34:11 -0700 |
---|---|---|
committer | Conley Owens <cco3@android.com> | 2012-10-26 11:34:11 -0700 |
commit | c5aa4d3528e15180fc1d305a571bf3cadea60c65 (patch) | |
tree | 71d847d4ff986b377dea895093adb9609974f98c | |
parent | bed45f940072e6383bf219bc315a65692e93d682 (diff) | |
download | git-repo-c5aa4d3528e15180fc1d305a571bf3cadea60c65.tar.gz |
Update minimum git version to 1.7.2
We now use the -c flag which was introduced in git 1.7.2.
Change-Id: I9195c0f6ac9fa63e783a03628049fe2c67d258ff
-rwxr-xr-x | repo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -28,7 +28,7 @@ if __name__ == '__main__': | |||
28 | del magic | 28 | del magic |
29 | 29 | ||
30 | # increment this whenever we make important changes to this script | 30 | # increment this whenever we make important changes to this script |
31 | VERSION = (1, 18) | 31 | VERSION = (1, 19) |
32 | 32 | ||
33 | # increment this if the MAINTAINER_KEYS block is modified | 33 | # increment this if the MAINTAINER_KEYS block is modified |
34 | KEYRING_VERSION = (1,1) | 34 | KEYRING_VERSION = (1,1) |
@@ -110,7 +110,7 @@ V6pfUgqKLWa/aK7/N1ZHnPdFLD8Xt0Dmy4BPwrKC | |||
110 | """ | 110 | """ |
111 | 111 | ||
112 | GIT = 'git' # our git command | 112 | GIT = 'git' # our git command |
113 | MIN_GIT_VERSION = (1, 5, 4) # minimum supported git version | 113 | MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version |
114 | repodir = '.repo' # name of repo's private directory | 114 | repodir = '.repo' # name of repo's private directory |
115 | S_repo = 'repo' # special repo repository | 115 | S_repo = 'repo' # special repo repository |
116 | S_manifests = 'manifests' # special manifest repository | 116 | S_manifests = 'manifests' # special manifest repository |