Change default REPO_URL to code.google.com
Change-Id: If7700daf96fb8f3ee449e5774017272ef31b4b44
diff --git a/repo b/repo
index 32f0df0..1468fad 100755
--- a/repo
+++ b/repo
@@ -2,7 +2,7 @@
## repo default configuration
##
-REPO_URL='git://android.git.kernel.org/tools/repo.git'
+REPO_URL='https://code.google.com/p/git-repo/'
REPO_REV='stable'
# Copyright (C) 2008 Google Inc.
@@ -28,7 +28,7 @@
del magic
# increment this whenever we make important changes to this script
-VERSION = (1, 11)
+VERSION = (1, 12)
# increment this if the MAINTAINER_KEYS block is modified
KEYRING_VERSION = (1,0)