Fix gerrit-server-name to a the correct setting

No match.