From 44da16e8a0e919c60a6eb7b5503cf915864d7336 Mon Sep 17 00:00:00 2001
From: "Shawn O. Pearce" <sop@google.com>
Date: Mon, 5 Sep 2011 14:02:38 -0700
Subject: Change default REPO_URL to code.google.com

Change-Id: If7700daf96fb8f3ee449e5774017272ef31b4b44
---
 repo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repo b/repo
index 32f0df0b..1468fad3 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 @@ if __name__ == '__main__':
 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)
-- 
cgit v1.2.3-54-g00ecf