Some very minimal gerrit notes

gerrit.inf.ed.ac.uk is a VM, currently barb.

git.inf.ed.ac.uk is also hosted on the same VM.

The software is installed in /disk/gitgerrit/gerrit/

gerrit is a daemon that provides a web interface on it's own port (8081 in this case)

To start the gerrit daemon use: /disk/gitgerrit/gerrit/cfg/bin/gerrit.sh start -d /disk/gitgerrit/gerrit/cfg

We put apache in front of it to take care of cosign, and then proxy to localhost:8081

More information when Craig gets around to it.

-- NeilBrown - 23 Jan 2014