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
diff --git a/repo b/repo
index 70f4157..7c633fc 100755
--- a/repo
+++ b/repo
@@ -28,7 +28,7 @@
del magic
# increment this whenever we make important changes to this script
-VERSION = (1, 18)
+VERSION = (1, 19)
# increment this if the MAINTAINER_KEYS block is modified
KEYRING_VERSION = (1,1)
@@ -110,7 +110,7 @@
"""
GIT = 'git' # our git command
-MIN_GIT_VERSION = (1, 5, 4) # minimum supported git version
+MIN_GIT_VERSION = (1, 7, 2) # minimum supported git version
repodir = '.repo' # name of repo's private directory
S_repo = 'repo' # special repo repository
S_manifests = 'manifests' # special manifest repository