diff options
author | Shawn Pearce <sop@google.com> | 2012-10-26 16:10:21 -0700 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2012-10-26 16:10:21 -0700 |
commit | 2d113f35460051823ea54d61c5c939565518f969 (patch) | |
tree | d48501902b807b83855d9361a3d3c6588f43e40c | |
parent | de7eae482664d4bda61238b6adb679b3b92535d2 (diff) | |
parent | c5aa4d3528e15180fc1d305a571bf3cadea60c65 (diff) | |
download | git-repo-2d113f35460051823ea54d61c5c939565518f969.tar.gz |
Merge "Update minimum git version to 1.7.2"
-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 |