James E. Blair c1495cdca4 Update gerrit project rename instructions ...

We have a git farm now rather than a single git server.

And we can remove workspaces with salt.

Change-Id: If7395db9e3809e6589ce07ceef30e1d942362efe

2014-02-07 09:05:27 -08:00

..

source

Update gerrit project rename instructions

2014-02-07 09:05:27 -08:00