Jeremy Stanley 713af5946b We have 8 gitNN servers, not 5 ...

Correct Gerrit rename process documentation to refer to the correct
number of gitNN servers.

Change-Id: If85e8d918e846e549686d169c050ed56dc125aa7

2015-10-14 16:54:27 +00:00

..

source

We have 8 gitNN servers, not 5

2015-10-14 16:54:27 +00:00