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://[email protected]:2222/minix Change-Id: I621848d56c81c8c22a90b8092adf4ab0f29e2fb8
Stichting-MINIX-Research-Foundation · Jul 28, 2014 · 023eea4 · 023eea4
1 parent 7d98eee
commit 023eea4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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