From c5aa4d3528e15180fc1d305a571bf3cadea60c65 Mon Sep 17 00:00:00 2001
From: Conley Owens <cco3@android.com>
Date: Fri, 26 Oct 2012 11:34:11 -0700
Subject: [PATCH] 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
---
 repo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repo b/repo
index 70f41572..7c633fc3 100755
--- a/repo
+++ b/repo
@@ -28,7 +28,7 @@ if __name__ == '__main__':
 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 @@ V6pfUgqKLWa/aK7/N1ZHnPdFLD8Xt0Dmy4BPwrKC
 """
 
 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