We have six new larger gitea backend servers that are replacing the old
gitea01-08 set. gitea05-08 has already been removed and deleted. This is
the first step is beginning to shutdown gitea01-04.
We should consider holding in this state for a time to monitor that the
new servers are holding up against demand before we stop replicating to
these servers. Removing replication is the point where it is more
difficult to put them back into production.
Change-Id: Idc90a9f381eaa287d240b94cf1490de112430475