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)