From 3f61950f01bac9a3c40d9a6a95f53b6864153bfa Mon Sep 17 00:00:00 2001
From: "Shawn O. Pearce" <sop@google.com>
Date: Tue, 5 Jun 2012 07:57:24 -0700
Subject: [PATCH] Use gerrit.googlesource.com/git-repo as the default URL

This is basically the same repository, but may be slightly more
up-to-date than the one on code.google.com/p/git-repo.

Change-Id: I5c99539f53231958eefb6993f00997c9adf0a3c9
---
 repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repo b/repo
index 05d4455d..d6b46c87 100755
--- a/repo
+++ b/repo
@@ -2,7 +2,7 @@
 
 ## repo default configuration
 ##
-REPO_URL='https://code.google.com/p/git-repo/'
+REPO_URL='https://gerrit.googlesource.com/git-repo'
 REPO_REV='stable'
 
 # Copyright (C) 2008 Google Inc.