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
This commit is contained in:
Kees Jongenburger 2014-03-10 16:16:14 +01:00 committed by Lionel Sambuc
parent 7d98eee859
commit 023eea4762

View file

@ -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