Fix server name in gerrit notification