private function getGerritURL(Git_RemoteServer_GerritServer $server, $url) { $full_url = $server->getBaseUrl() . '/a' . $url; return $full_url; }