1 files 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

diff --git a/repo b/repo index 70f41572..7c633fc3 100755 --- a/repo +++ b/repo
@@ -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