Gerrit migration

[Florian Effenberger]

Hi,

Norbert Thiebaud wrote on 2013-08-01 19:53:

> All I can do is update gerrit.conf on the spot on vm20 while we are
> migrating... but I cannot change it on the prod branch of gerrit-etc
> yet... since the current value is the right value for now.

oh, no, what I meant is changing it at vm20 to the value it has on the 
current VM, because I surely will forget...

Florian