From: Kees Jongenburger <kees.jongenburger@gmail.com>
Date: Mon, 10 Mar 2014 15:16:14 +0000 (+0100)
Subject: build:update 'git review' config to match gerrit.minix3.org
X-Git-Tag: v3.3.0~401
X-Git-Url: http://zhaoyanbai.com/repos/Bv9ARM.ch07.html?a=commitdiff_plain;h=023eea4762308f64af6d404d5f52bd7d986de76d;p=minix.git

build:update 'git review' config to match gerrit.minix3.org

We have moved the gerrit service to a new server and at the same time allowed
direct access to gerrit. This change updates the '.gitreview' file to reflect
these changes. If you have an existing checkout you might need to update your
.ssh/config file to remove the git-minix alias and edit .git/config to update
the gerrit repository from 'git-minix' to the new url sheme:
ssh://username@gerrit.minix3.org:2222/minix

Change-Id: I621848d56c81c8c22a90b8092adf4ab0f29e2fb8
---

diff --git a/.gitreview b/.gitreview
index 5104bdecc..983be4fd5 100644
--- a/.gitreview
+++ b/.gitreview
@@ -11,7 +11,7 @@
 [gerrit]
 # The git-minix host is to be configured in your .ssh/config
 #
-host=git-minix
+host=gerrit.minix3.org
 port=2222
 project=minix
 defaultbranch=master