From 023eea4762308f64af6d404d5f52bd7d986de76d Mon Sep 17 00:00:00 2001 From: Kees Jongenburger Date: Mon, 10 Mar 2014 16:16:14 +0100 Subject: [PATCH] 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 --- .gitreview | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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